An unlikely obstacle for Georgia Tech locker-room renovation: a pool