Just an update, the shift fork, shaft and PTO coupling were destroyed by the previous owner ignoring the fact that the PTO clutch wasn't working
I ordered new parts direct from the dealer, cost around 200 USD with air mail, was quite a bit of work to get it all back together but overall not too...