I am hoping you are right, I am almost sure that is the case, but I do know my luck! Either way, it won't be cheap to replace the decking, but less cheap to do whatever with the pool/drain combo.
Well, the somewhat good news is there was a foot or three in there when I started. I'd say closer...