Hi Ian, I'm not after anything from Hooked In Pinball but believe their Lightning bolts were the ones that were fitted to my game when I bought it. Quite a few of the LEDs had stopped working which appeared to be due to airballs.
I bought this set from Pinbits instead and I'm really happy with them:
https://www.pinbits.com/index.php?main_page=index&cPath=13_69&zenid=5489b294e07a2e02e0de9fbfc13fd095
In particular I like that they have the same or at least very similar artwork to that fitted by the factory, but in a far better quality more robust version. They are however very very bright, especially if playing in a dark room. Can certainly make you feel like you're playing pinball in a rock concert! They're not cheap but the quality is top notch and I don't think they'll be any problems if they take a good whack from a pinball unlike other versions I've seen.