Yep. Had to swap pumps. It was a bit of an odd conversion as the hoses on the new pump are much smaller than the old one. That said, we were able to get 2 solid hours of salt to chlorine flow out of it with no flow problems. So that should take care of that - for now.
None of this stops the kids from going in the pool already. Even the 289 degree K water temperature (16 C) doesn't faze them.