It's the same light fixture. The blue is newer. Red was the original.
Seems like sometime in the mid 80's we started switching out. The argument
was that the diffused red light was more visible than the diffused blue
light.
Doc
This archive was generated by hypermail 2b29 : Wed Feb 06 2002 - 11:49:24 PST