Thanks. I just recently started playing with push-pull cables and thought it would really clean stuff up a bit.
I also thought about moving the ball stud or the hole on the pedal around, but I'm not sure how to calculate how much taking a (half inch?) of the pedal throw radius will change the input to the pump.
Are you planning to use the gov housing to mount a bracket, or a longer one from a mount elsewhere?