Length of Georgia Tech warm up pool?

Silly question.. I'm keeping count for the Go the Distance thing on-line. Was the diving well 25 yards? or shorter? So much happening at the meet--forgot to check. Grand fun time! thanks.