I think you would be much better off using timer 2, that controls pin 11 in PWM mode. The problem with what you have written is that anything else that your arduino code does is going to affect the time of your pulses. Also the time will jitter a bit because of background interrupts. So how important is the accuracy and what else does your system need to do?