Unless your deep end is more than 9' deep, your volume is likely to be closer to 20,000 gallons. Builders and liner makers quote volumes at the 'running over the sides' level!