[rescue] What DEC item are these from?

[Bill Bradford]

Anybody know what DEC item these are from?  I got a bunch of them 
(at the time, in a little foam "holder" in a box) a few months ago
with a big batch of PDP-11 stuff, but my dog got ahold of it and 
they're now all over a section of the carpet in my garage.. 

http://www.mrbill.net/~mrbill/bulbs.jpg

Are they worth picking up and saving, or should I just get out the
vaccuum?

Bill

-- 
Bill Bradford
mrbill at mrbill.net
Austin, TX