Don't care that much if a pulse is missed. Using the Arduino is too slow -- when I tried, it upped my looptime from 1-2ms to 70ms. I probably did something wrong though, since I set the timeout to be 20ms and I was reading two pulses..
I found something that might work: