Thank you SDR for the pointers. What AN said several months ago is that he got a quote for $7k, permits included. Depending on your area and how easy it is to move the heavy machinery, price may go up to $10K or maybe more.

BUT, if you’re planning to build on top of the old pool, then you’re definitely talking over $10K. One example given for this had a $35K quote that ended up costing close to $50K due to unforeseen complications and the nature of the soil.

If you do it yourself, the steps would be:
1. Get electric and plumbing permits from the city
2. Drill several, large holes in the bottom and maybe the sides, so that rain water can drain out
3. Destroy the pool edges
4. Feel in with dirt, preferably by layers so that you can compact the dirt as you fill in
5. Landscape on top