Try Hobby Engineering for the ultrasonics.

Digikey or Mouser has the shaft encoders. Don;t forget you have two gear tooth counters in the kit.

Vex Shaft encoder gives you 100 pulses per rev. Only one channel not quadrature or encoded so you can't measure direction or position. You can only count pulses.

BC