Big ditto from this tech. Also some advice. Unless you happen to know the master is a recent replacement I would highly suggest replacing it even if you find and repair a leak. Now that the piston and seals in the master have gone beyond the normal range of travel it should be replaced. The bore in the master will become dirty,rusty,pitted over time where the seals dont normally ride in the bore. Now your pedal has gone to the floor and the piston and seals have been pushed into that dirty area in the bore and possibly damaged the seals.
Things do look pretty straight forward. I will look for leaks as well as bleed the lines (if I don't find any leaks). If it gets any more involved then that, I'll likely give my local garage some work.
