That is a nice unit.
Tell us about a Mexican stump grinder please.
Use a mattock and shovel to dig around the base of the tree into the ground a few inches to the extent that the root system allows. Use an axe to cut/knock off the dirty bark at that level, leaving only clean wood. Cut that sucker off below ground level and then rake the dirt over the top of it all.
I use tnt to erase the stumps and it is a lot of fun
My grandpa used to do that. Actually used dynamite on stumps and in the gravel pit.