[bsquiggle]

I know now that I have a leaking clutch master cylinder and will be replacing both cylinders tomorrow, but in the process of establishing the cause of crunching gears, I changed the gearbox oil (not sure how old the oil in there was, but it pretty bad.)

For the first few short (each around 5km) drives over several days after that, the gears changed beautifully.

E.g. Went for a short drive this morning, nothing. 2 hours later, same shirt drive,, crunching is back as though nothing happened. I am assuming its the clutch cylinder and will go away tomorrow, but I wonder if the clean shifting immediately after oil change indicates something amiss in the gearbox as well? I don't believe there is any significant gearbox oil leakage, took out about the right amount of oil and no visible drips.