That's a good idea, thanks. I do not have a hot air gun. Maybe pour some hot water over it in the engine compartment. The engine compartments do get very warm in the current heatwave.Perhaps you could try pre-heating the master cylinder with a hot air gun and then see if the gear change problem comes on more quickly?
If I get a chance to do that, I'll post up my findings.