----- Original Message -----
From: "Brent Hilpert" <hilpert at cs.ubc.ca>
Sent: Thursday, January 15, 2015 12:02 AM
... even 'normal' modern LEDs can be much more
efficient than LEDs of the
early-mid-70s, and even if replacing all of them for uniformity they might
look out of character or non-original if not adjusted for brightness.
----- Reply -----
Just in case someone /does/ want to match up some existing ones I have a few
bags of LEDs from 30 or 40 years ago, both new and pulls; ya never know...
m