Personally I don't like the look of the LED displays. I've tried both pinled and pinscore.
I would like to experiment with the PinLED system in a Bally - Playboy etc..
It is a difficult question to answer - and maybe not cost effective. Bally Glass for the displays (6 Digit) are US$30 - $35. If you had to do four - US$140 + VS PinLED US$200...
I guess if you cannot find the HV board, then at least you have an alternative. You might have to try RGP or Mr Pinball classifieds, Nuggy.