Well I said backhoe, but I don't know what they would use, he told my DH that it would be about 300, but that is our respsonsibility.
I agree with your final paragraph. It will be cheaper and better overall to buy a new pool and get it installed in the spring, and that is what we were...