We have a Chinese Maple tree, more or less 40 foot high-ceilinged, cut down ..? because it is too close to the house. The stump is...

because it is too close to the house. The stump is still there. Any accepted wisdom on getting rid of the roots??