hey
the IRbuddy manual has example code in PBasic. These should be really easy (especially for an MIT student, unless you're in the philosophy Department :o ) to change to Arduino. It just takes good old slogging through the lines of code. the Arduino site contains a command reference, and there is also a very good open-source book linked somewhere in the forum that explains each command.
An example:
IR_Buddy_Reset:
LOW IRbSIO // for Arduino use digitalWrite(IRbSIO, LOW) instead
PAUSE 5 // for Arudino use delay(5) intstead...
and so on...
D