To be safe, I am sure your pool has a plug. It is usally located in the main drain. depends on what year your pools was built but most of the time they are square topped. If your doing it yourself, take a 1/4 inch drill bit and punch a couple holes in the deep end and a couple mid way through.

This relieves any pressure you may have and prevents the shell from popping. I can't imangine you having a high water table but better safe than sorry. If you have a company doing the remodel they should no better.

good luck