20200903 sports: Crumbling swimming pool at Peddem Sports Complex gets a facelift