Hi,
Raspberry Pi is able to count 10,000 - 15,000 pulses / min 0.5-4.5V, & Shell Enhancements to use?
15000 pulses / min = 250 pulses / sec = 250 Hz
The raspberry GPIO inputs have been tested to work fine at 14Mhz - by Gordon of wiringPi - so pretty much yes is possible.
