Since it sounds like she's going to have to get someone to do this, I
agree with John. Just get a tree service to cut it down and grind down
the stump. I've done many trees myself, without even grinding the
stump, and rarely had a problem with the tree trying to grow back.
Even if it does, a simple application of herbicide will fix it.