Hmm, if this was the case would the clutch fork be loose / movable by hand?
I hope that's not the case, the garage have just spent the day taking the gearbox off and refitting it - do you know how I can confirm whether it is the DE or HR version? I don't believe it said on the box itself.
Edit: I can see I've been charged for the correct version as the HR version is more expensive:
KNI25525-1A - DE (Mine) - £792
KNI25688-1A - HR - £1,128
I'm assuming this code will be on the box, so I can check that in the morning.
I was charged for the correct part as well. Just check the code in the morning to make sure it's not something as simple as the wrong part.