Have you had a look under the dash at all?
I would be highly surprised if that had anything to do with the service, I think it is purely coincidental that it occurred at the same time.
Check to see if it is coming from the switch, spring or pedal pivots. Also pay attention to the rod that comes through from the booster, the jam nut may have come undone.