Thanks Dave. I got them!

Yup. It looks like the original pump got replaced.