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?