I'd just plant shrubs around the old stump then and forget it's there. Sounds like it isn't going to be in the way at all. Any roots that would be a problem will be dug out when they do the footer anyway. I would be too cheap to pay the extra to have it removed