Yes, thats the one. I bought two of mine from Custom Aquatic but they are slightly higher and out of stock. Prices have gone up in the last few years, mine were like $75 at the time which made them an even better deal compared to the Eheim which was always over $100. Now the prices are close on the OR3500 and Eheim 1262 and both are good pumps.

EDIT, I take that back, I just checked on a Eheim 1262 and they are almost $200 now!