Could it be the vac pump (or other stuff mentioned) if the brakes have worked fine since then? I checked it afterwards for operation, all was well. Drove it to the repair shop, not a single problem.

Jeff