Yup, I believe it's the R25 pump, I think I pulled off an R20 Both style pumps can be seen here: [...] [[...]] In the 2nd picture on that page, the original pump looked like the bottom, the replacement looks like top one. Login to read more.