G'day,
thanks for your reply

There's a note written on the dash in white - oil cooled brakes.
There's nothing on the side of the bonnet aside from the model number.

Thing is, it was serviced a few months ago, last Friday afternoon it was fine, Monday morning - no brakes. I've asked the guys who were here on Saturday, nothing happened to it.

I haven't seen any puddles of brake fluid lying around anywhere, and the reservoir has plenty in it.

If the last guy put the wrong fluid in [dot 4 vs dot 5, etc] would the seals just suddenly fail like that?