hey graham,
iv been in a WRX with this same problem,the teeth on second were badly worn......
iv just had the benz box in for a refresh all gears were fine,they just did bearings and seals...cost me $1065.....it better shift alittle better!!!
Regards,
Paul