Anonymous ID: 4f7285 June 25, 2020, 9:23 a.m. No.9743016 🗄️.is 🔗kun >>9742996 The "news" article that I read said the pool was mostly 3 1/2 foot deep but 7 foot at the deep end.