I'm rebuilding the backbox insert on my Grand Slam project and want to upgrade the 555 green plastic lamp sockets with something else. These have three lugs and a diode, and it isn't obvious to me what the correct socket replacement is. I've been up and down the list on The Pinball Resource and it ain't jumping out at me.