Hello again all! Posting this to help my neighbor with a new pool that he just had built. The pool is 37'long x 19' wide, it goes from 3'6" to 6'6"ft. deep. It has a 11'ft x 8'ft. baja shelf and the pool builder is trying to tell him and is adamant that their pool is 29,400+ gallons!!!! I did...