Fairly certain. I used a couple of volume calculators that pegged me at around 38,000 and then the people who owned the home before me and built the pool said it was 42,000. I’d guess we are within about ~2000 gallons of the correct volume. That said, I’ve never drained it and filled it, so I’m...