Honestly, I'm not concerned where they came from - even if they are pulls. If PinballLife has 'em for $2.50 for a *single bulb*, 100 @ 29 cents is nothing. I just got 200 of 'em.
If they show up, and they ARE #555s, then I'll just file a complaint through eBay.