Dumb Question, we purchased several dozen spare lamps all HPL575X. The shipment came and they are mostly Osrams, but there are half a dozen GE's mixed in. I always get Osrams or Ushios at my local dealer... I've never purchased GE lamps before. The GE's are marked HPL575X-C... So are they an X or a C?