I do know that if you have a swimming pool and you need any repairs or new coating, whatever; you must call in the experts to drain the water. If you do it yourself, you will have a very expensive pool popping out of the ground. Seriously, I've known it to happen (not to me !).