I've seen a few here & there over the years, but couldn't get close enough to see the lamp markings.

These are DX lamps, or Deluxe White.  The blue lightwaves from the arc tube hit the phosphor coating and make it appear pink.  As the lamps age, and the arc tube becomes blackened, the lamp's pink color will be replaced with a dull green color.