Arduino IDE and Attiny13, doable?

Awesome, thanks.
I'll pitch the attiny85 to him. It has hardware PWM as well, which the 13 appears to lack.