That's the option I would take at least for a while. I would get some use out of the pool while it is full and get used to the whole pool thing. There could be any number of reasons down the road that might require you to drain the pool. If so, you could fix both problems at once.

For now I would just enjoy it.

Dennis