Your direction is good. However, there are still some shops / mechanics around that can tear apart a manual transmission and rebuild it. Which is another option. The labor is the most expensive part. The rebuild parts are fairly cheap (if available, I forget about that issue with this car).
And in the case of a rebuild, you'd wind up with a KNOWN good transmission. One pulled out of LKQ will likely be good, however, that is unknown.
On the other hand, if the one pulled out of LKQ is cheap & readily available, that supersedes other negative issues in my opinion.
View my fuel log 2020 Mirage ES 1.2 manual: 42.4 mpg (US) ... 18.0 km/L ... 5.6 L/100 km ... 50.9 mpg (Imp)