and the answer is!
There is a rod that connects the brake booster and master cylinder. The mechanic adjusted that rod (I assume the amount of travel) and presto! The brake pedal feels great.
I dont have any more detail than that, other than it took him 15 minutes to figure it out and fix it. The ...