Took the cover off to see this:

Crack 1

Crack 2

Low point return which makes me think there's a crack in the pipe

To add insult to this, I paid $12k to have the cracks/leak fixed and a re-plaster job at the end of '18, beginning of '19. I will never deal with that pool company again, so gonna go with the only Master Pool Builder's Guild member in Tulsa: Fiesta Pools. It's gonna hurt. Oh well, YOLO right?