If you go to System Profiler and then under USB, do you see anything that could be the Arduino (e.g. FTDI or FT232R)?