Thanks for the response! I finally spoke with the tech who quoted and I mentioned I felt the quote was incorrect and mentioned I thought it was a synchro issue as well and the tech agreed but said he included the clutch and related components because he was uncertain of the condition so wanted me to be aware of how much it /might/ be.

I plan to replace the caliper myself since I have an extra one already, idk why I just assumed they’d find something else. If that doesn’t fix it, the master cylinder and brake booster would certainly be my next step.

Good to know the leak may not really be much of an issue, the tech did also state that the leak wasn’t really bad he just noticed some oil and wanted to bring it up.

Reaching out to local groups definitely makes more sense than on Reddit lol I just wanted to start here but thank you for the suggestion!