How to create a 38 Khz pulse with arduino using timer or PWM?

Thank you very much for this nice code. On the Arduino Mini V5, the pin for OC2A seems to be 11, not 10.