With air getting into the master cylinder, isn't he going to have the MC bench bled? If true, I think it woud be prudent to just replace it as a preventative maintenance item.