[lukevanoort]

We have actually switched our setup over to a 56KHz system. This year, we were lucky enough to have the help of two alumni who just got their degrees (Computer Science and Electrical Engineering), and without them we'd never have pulled it off. As I understand it, they switched the IR receiver on the IR board to a different model, and built a custom remote. I had nothing to do with it, so I don't know the details, but apparently it wasn't particularly hard. We never got it mounted before ship, but we should be able to see if such a change is actually useful next week.