Yes I am afraid so. Have also decided to replace the clutch as it is badly worn and the needle roller bearing has lost one of its needles. Parts for these machines seem impossible to source.

Are there "after market" brands available?