This is for those who have been to the Costco in Seville. Does this Costco sell bed linens in US sizes or only in European sizes? I expect the answer to be European only, since that is where the store is located, but curious nonetheless. We have a European king size bed we bought at IKEA here in Germany, as well as a really nice American king size bed we bought through the US military PX. We expect we will take the IKEA bed to Portugal with us since we probably won't be able to get US size bed linens there, but just wanted to check. Thanks in advance!