So I got this car used at about 100k kms a few months ago and shifting kind of sucks especially close to redline. It gets notchy and I have to apply a noticeable amount of force to get it in gear. It's doing it in all gears, also doing it when downshifting, and rev matching makes no difference. Replaced the clutch master cylinder (Sachs I believe), clutch kit (Luk) and gearbox oil (Motul), with no improvement whatsoever. Garage adjusted and regreased the linkage and it became smoother at low revs, but higher rpms is still kind of notchy. I also noticed the problem at a standstill just going through gears, but it occurs randomly. They also checked engine and gearbox mounts at my request and there isn't excessive play, and they're now suggesting new linkage cables. Another thing, 5th and 6th have noticeable lateral play. It's not loose, but noticeably more lateral movement than other gears. Any advice / suggestion is welcome, thanks for reading!