My friend is at Disneyland now, and spotted someone with a Dark Blue lanyard and white Millennium Falcon / Galaxy's Edge pin that looked like a Travel Company promo. I did a quick Ebay search and found the pin she sent the pic of is from Costco Travel. So we were wondering how many versions are available? There should at minimum be at WDTC/DTC one. She saw a Silver Galaxy Edge lanyard, but no pin. Anyone know anything? Thanks!