Porche Clutch Parts

[porschejock]

I am a new owner of a 2002 Porsche Boxster in excellent shape. It has average miles on it and as a precautionary measure I am having all synchros replaced as I have a lazy 3rd gear synchro. While repairing the synchros my repair facility stated the clutch disc needed repairing as the "rivets" were starting to show through. As It is 40 miles to my repair facility and figuring it would make sense to have a new clutch assembly installed, I told them to go ahead and install a new clutch kit. After waiting two days they told me my car is not a "domestic" version of the Boxster. As such my clutch parts would have to come from Europe! I was told that if the Boxster is a seal gray, which it is, it was non-domestic. Is this true or are they blowing smoke up my posterior??? This Boxster was initially purchased in Honolulu, Hawaii and then shipped to California when the previous owner was transferred. Carfax and Autocheck support this. Could this in any way have impacted the version of the Boxster I have? I am again thanking you in advance for any assistance you might give. This is by far the most professional and well organized forum I have seen related to Porschephiles!