My mature mesquite are 12' - 15' high and more than that around. No way I would drive my tractor over them. Maybe he has the opportunity to get 'em while they are young?
edit: reread his post, maybe he already cut the trees down and is now just getting rid of stumps/roots.
