The gear leaver remotes for the manual are silly money when they come up
have a look first at the lever detents, you can get them out with box in from inside the car but it is very fiddly
the pin for the other end you can get from island 4x4 for £30
https://www.island-4x4.co.uk/gearbox-selector-ukd100830-ftc4463-p-27611.html
I found those big nuts on the end completely immoveable while on the car. Still, he might get lucky.