No it wasn't that model, but that's "THE" Parasound to get. It's a belt drive, and it is a nice transport. Very few problems with them even today. I believe Parasound still warehouses belts for these.
Again it's a top loader though, will that work in your rack?
Edit: (just realized it says belt drive in flashing neon letters)