This may be a long shot but does anyone know if the gearbox jacket is still available please ?

Mine has decided to fall apart (well, part of it) !

Thanks in advance.