Right, difficult gearchange when hot. G/B oil change has made no huge difference. New clutch purchased, along with a new O ring for the IRD Input Shaft and a Laser Clutch Alignment Tool.
Decided not to take my chances with a ECP El-Cheapo part (Transmech, or something) but went with the O/E...