I think what he did was install Arduino 0010, then run the included FTDI drivers.. are they different than 0009? I think he may have also opened the Arduino application once. I'll find out tomorrow exactly what he did. Part of the problem is that they hadn't done a clean install in the lab in .. three years! They were just updating the software packages without installing from scratch.
No, I don't know anything about the MAC serial libraries. In fact I know almost nothing about software
It's is a total mystery to me sometimes.