Arduino IDE and Attiny13, doable?

It has hardware PWM as well

On three pins.

which the 13 appears to lack

According to the datasheet, the ATtiny13 has PWM on two pins: PB0 and PB1.