Plus, historic San Pedro Springs Pool is now open.