The mudjacking is not "rocket science". They do it here also. I did get an estimate from a company for about $1400 to do the same thing. Our concern was not to raise the pool but just fill the void. Since the pool contractor had the equipment to pump the plaster we did not need to hire another contractor. The other problem with my pool was that there is an underground stream under our property. when we were working on the pool to make dual drains they made a large hole in the bottom of the deep end. The ground watter filled the pool with in a month!

The settlement in new homes should be covered by the builder. The foundation should be built on solid ground and they should dig deep enough to reach that. I am surprised that people are not going after the builder. You need not pay "extra" for the house to be built right!!
Regards

Amir