I did talk to him about doing the master cylinder as well, or a re-build of it.
He isn't keen on using the re-build kits as they have found they often fail. He said they could have sent it to be re-sleaved? But that would mean more time off the road. It would have also added lots of $$. The $$ to do it separately apparently wouldn't be that much different to the additional $$ to do it at the same time.
$250 total which included 1 hour labour. Fitted into the budget nicely.