5th gear lean

Hi guys, my gearbox has the common 5th gear lean and has to come out anyway due to clutch issues. The full detent pin set is crazy expensive, can you get just the 5th gear detent on its own or do you have to buy the full kit:(