Hello!
The guys and gals around here will be able to make that pool sparkle with minimal investment(certainly not 6k!).
To answer your original question though, of whether you should clear it up or fill the hole, of course this is a personal question. My preference would be to clear it up...