Deep Eddy Pool, located in Austin, will not permit visitors on Feb. 18 while an inspection of the deep end takes place ... from 9 a.m. to 7:30 p.m. for lap swimming and 10 a.m. to 7:30 p.m ...