I can't answer that question for you.
I have a 2017 ES manual with approximately 41,000 miles, & I changed my manual transmission fluid (used Redline MTL) @ 30,000 miles. I am not convinced factory fluids are all that great! As far as I am concerned, Mitsubishi even cheaped out on simple window washer fluid. Any vehicle sold in the Midwest, should not have washer fluid that freezes solid in the winter. A good company & their dealerships would address these minor details. Now, back on topic!
I would recommend a change of manual transmission fluid. Even if it doesn't solve the issue, I would start there. The ingredients for a manual fluid change are -
2 quarts of 75W-80 manual transmission gear oil
24 mm socket to remove the drain & fill hole plugs
Small funnel with a flexible hose (bought one @ Autozone for $2.49, but you could make one)
Oil drain pan, ice cream bucket, kitty litter box, or whatever you have to catch 1.6 quarts of old fluid
https://mirageforum.com/forum/showth...-Transmission)
A decent home town mechanic shouldn't charge much for this type of service, but the transmission fluid is more expensive than engine oil.
I did Redline MTL @ 30,000 miles, & I plan on doing it every 50,000 miles in the future. My future costs will be the fluid and 15 minutes of my time. I actually bought a gallon of Redline MTL. Thus, I am ready for the next change @ 80,000 miles. I compared prices of Redline @ walmart.com & Amazon. Whichever one was cheapest is who I bought it from.