I would like them to make these gearboxes available to teams that want them, but optional, so that it cuts cost for those who don't use these gearboxes, and don't want them piling up in their workspace or possible projectiles for freshmen... It would probably only knock off $100 at the most off the registration and kop. I wonder what the price cut is for buying these gearboxes in uberbulk...
We used the gearboxes, and although they did get the job done.., it would have been easier to just fabricate our own gearboxes, less problems/fixings, but stuff happened.
Remaking Paul's gearbox, and having it be built with 3/16" or 1/4" aluminum 6061 plates and having a variety of mounting holes so you can mount it to almost any chassis doesn't seem like it should be too much to ask for.