It's really a lot of fun when you can fix a problem yourself. Normally we are afraid of such tasks and try to get help from others, but you yourself repaired that pump and replaced it correctly, you did a great job.