so F23 is on its way out (according to my mechanic).
He said that there are 2 options:
1. Strip old one and try to fix it (but he is not gearbox specialist)
2. Buy used one
I am inching into 2nd option (yes - there is a risk buying knackered one), but I noticed that F23WR used in Corsa...