Thanks for your message. Yes, I've been thinking there must be a solution like this that the installer could use (lime, gravel, something else) to dry up the mud rather than waiting 7-10 days for Mother Nature to dry up the hole but the pool seller and installer won't tell me if they can do this...