We just posted our version of this modification to
our blog.
We haven't got to play around with it to much yet but we did hook it up and check that the system was getting good distance values from the encoder.
We made several substitutions to reduce the overall cost of this setup. Each additional gearbox modification for us should only be around $10.