Speaking of Mabuchi, my guess is that the BaneBots RS-775 motors are not made by them...see
http://www.chiefdelphi.com/media/photos/36278 and look closely at the motor, and then at the drawing posted on Mabuchi's website. Observe the shape of the rear vent holes is different. While that's not conclusive proof of anything, it's a reason to doubt that the BB RS-775 is that particular Mabuchi model. (I've seen another pattern, with no vent holes, on some Mabuchi motors; that isn't it.)
As far as I know, none of BaneBots' KOP motors are made by Johnson or Mabuchi. The best refutation of this would be to find their logo: Johnson often stamps a "JE" mark on the front face of the motor (where the mounting screws are), and Mabuchi usually prints a stylized "M" on the label (they haven't used painted numbers on FRC motors in the past).