Alan Horowitz wrote:
a colleague has a little gizmo which grabs onto small lamps used in
pushbutton indicators and switches, etc. He doesn't recall where he
got it.

it is marked: MICROSWITCH 15PA19 LAMP CHANGER


where to buy this, or similar?

For some applications, a few inches of heat-shrink tubing works well for
this.

--
Doug Smith W9WI
Pleasant View (Nashville), TN EM66
http://www.w9wi.com