Jeep used these little lights for like 30 years. The part number just for the Lens is J5450116. CJ, YJ, XJ, and some TJs had them too. You can get the whole light assembly (socket, lens, and pigtail) for cheaper than just the lens but you have to search around because they used a few different part numbers because the pigtails were different.
Here's a pretty cheap set
These are slightly cheaper than your Marchals
I know you are looking to trade and if I needed some of those cats I would order a pair of these and send them up.