I don't know, I'll have to ask. The shop bought the clutch kit; I didn't see it.
Looking around, I think you are referring to the 1 1/4" vs 1 7/8" tall versions I see on parts websites?
Would one or the other of this cause way too much free travel?
Thanks