We quote it alongside every palm removal. Palms can regrow if the stump's left, and the base is a tripping hazard, so most people get it ground out. It's on the quote so you can decide.
Cocos palms are the ones we're called to most on the Tweed Coast, and they're worth dealing with properly. Grinding takes the stump below ground level so you can turf or plant straight over it, rather than leaving a hard pad in the middle of the lawn that catches mowers.
Palm removal for a 5 to 8 metre palm generally runs $350 to $650, with grinding from $200 to $350 per stump depending on diameter and how far the root plate spreads. If you're taking out a row of them, the per-palm price usually comes down. Either way it's itemised on the quote, so you can take the grinding or leave it.