Temperatures soar — but when will Ripon paddling pool reopen?