The public pool was originally built back in the 1940s and hasn’t seen a swimmer since before the pandemic started. Hopkins is proposing a multi-phased redevelopment, with a goal of getting the pool back open by summer 2024, but the $3.5 million price tag is getting pushback from some city officials.