Looking for the VEXMAS board (Arduino, 72Mhz transmitters)

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!