BBB, I had a small pinon pine taken out by Henry, but not the stump, which is the hard part. There are various things to do about a stump, such as grinding, and I think you might want to call a local licensed landscape contractor for a bid for that, and if it's in range of what you can pay, get at least three bids. (But you would know to do that.)
I had some rhodies taken out in northern california, including stumps, and regrading, and I no longer remember the exact cost and records aren't at my finger tips. Plus, that was a different place and time.