Most encoders are not going to be able to handle 15,000+ rpm.
This is the US Digital one that I've heard most people use and even the ball bearing version cannot handle anything above 15,000 RPM, which is less than the free speed of the banebots 775s/550s motors. I would recommend that you put the encoder on the final output shaft because it is easiest for the programming team.