Like already suggested, I would start by changing your manual transmission fluid. If the damage has already been done, it may not change anything. It surely won't hurt anything to try this first. It's something that's relatively easy to do. You only need 2 quarts to complete the job & the proper funnel with a flexible hose (paid $2.49 for one).
Here is an excellent resource to get started -
https://mirageforum.com/forum/showth...g-5MT-Gear-Oil
Most forum members are using Redline MTL SAE 75W80 API GL-4 oil, because it's the proper type of oil that is relatively easy to find online.
I have no clue why sunbeam finds it necessary to change his manual transmission fluid every 15,000km/9,500 miles?
I changed my factory oil @ the recommended 30,000 mile interval, & it looked super clean. I did the 2nd change of the Redline MTL @ 80,000 miles (50,000 mile interval), and it was also extremely clean looking. I am going to stick with a 50,000 mile interval using Redline MTL, even though I think the intervals could be longer.
The joy of a manual is there are no filters. Drain & refill back to the fill hole. That's it in a nutshell.
Past history - Steve's plastic car - Steve was one of the first forum members to reach 300,000 miles on his Mirage. Steve did have manual transmission problems eventually, and I don't believe he changed his manual transmission fluid as frequently as he should have. I think he may have done it once, but thought he did it more frequently than that. If my memory serves me right, his records that he shared with us didn't reflect what he thought.
FYI - Steve ended up replacing his manual transmission before selling his Mirage, and I believe having trouble shifting into 2nd gear was the beginning of his problems.