I think they came from the XR2 or XR3, John. I have a spare, and there's a barcode sticker on it with the number 5 016593 067011, but I'm not 100% certain it's the part number.

HTH

Tim H.
1986 4/4 VVTi Sport, 2002 LR Defender, 2022 Mini Cooper SE