Still, we're not even close to problematic timings. If you'd be talking about 12000Hz that would be a problem, but anything below 1000Hz is well in the comfort-zone of your Arduino where you don't have to worry much. So again, what is failing at 12Hz?
Korman