I have a RPM one in mine ($300 i think - whole kit). You can get them from Super Cheap, Autobarn etc. etc. I really like it. Good value for money, not sure how much the exedy ones go for. Gearbox is 2.2L from memory, I use Penrite Light Gear Manual.
Cheers