As I indicated in my original post, after briefly exhibiting the problem to the service advisor, the brakes were working fine again. So, when the master cylinder was replaced the old one was actually working.
Since the problem has been so intermittent it is difficult to tell if the new master...