We have used both a $5 IR light sensor of ebay pointed at a black and white disk attached to a shooter. Also used an industrial IR light sensor. Both seemed to work.
We have also used a grayhill encoder in the past but you would be operating it slightly above its rated RPM of 5000.
http://www.grayhill.com/assets/1/7/Opt_Encoder_63R.pdf