Over Christmas 2011 there was a very cool board posted:
http://code.google.com/p/vexmas-shield/
It allows us to use the older VEX transmitters with the Arduino board.
I’m trying to track the guys that built this board, and I think they may be here.
Please contact me, I’m interested in getting about 10 of these boards.
Thanks!