trees suck for lawns. it's just a fact of life. if you want grass you gotta remove the trees. shade and grass don't mix very well and also the trees suck up all the water and nutrients out of the soil leaving very little for the grass. just leave the stump. he can take care of that later or it will eventually rot away with time.