Error: avrdude: stk500_getsync(): not in sync: resp=0x00

Driver then... Install this modified Arduino IDE on the unhelpful computer:
http://arduino.cc/forum/index.php/topic,118440.0.html

It is actually a very nice variant and it is extremely helpful with troublesome drivers.