Pinside is a great resource. I am doing a complete restore on my High Speed. I started working on the backbox light board and want to replace the plastic standoffs that hold the glass display boards and main PCB on the back side. I started searching the usual pinball retail sources and could not quite locate the exact part I needed. I searched pinside forums and found this post from 5 years ago that eventually lead me to the exact part I needed.
https://www.digikey.com/products/en?keywords=BHL-10-01