Repairing a leaking swimming pool filtration pump