If this was Baltimore, it would be a public pool within a week, they’d just let the water keep going for awhile and put up a diving board. No other changes necessary.