Thanks everyone, I'm glad you found it interesting. I've always been intrigued with their operation.
Kim, I didn't have to worry about aliasing. The one millisecond sampling interval was shorter than the pulse width from the Hall sensor circuit up to about 2500 RPM. Speed was never that high, so I was always able to detect the sensor pulse during each flywheel revolution.
Regards,
Rudy