Ok, maybe not a pool but while the water company was out here with that dozer, I sure did try to get them to dig me one!
We have this underground drain pipe in going through our back yard and we have been getting holes. 6"-8" by 6' deep. Well I never called them but they showed up to fix them anyway. They just poured concrete in them after digging them out a little. They were kind enough to leave me some extra dirt to fill in some of my dog holes.