Thanks, Sam. That site is a great resource.
Lamps ordered and on the way, including extras for future. And I figured if replacing one, it would be prudent to replace both, since they have the same 'birthdays', and the other one's days are probably just about up, too.