$6000 for this project sounds unbelievably low to me!!! I'm doing a similar thing (changing a 9ft deep pool to 4.5 ft), and my quote is over $50K. It includes new tile around the edge, installation of a Baja ledge, shallowing the pool, and new gunite everywhere. I had another quote for $125K...