Small 7-Segment Display for Cocktail Pinball Displays

This is the original IEE1787R red LED display used in these display modules for the cocktail table versions of the pinball game. These are no longer available and I have very limited stock so they are a bit expensive. These may have a slight amount of clear tape residue on the face,..

I have a less expensive substitute that works just fine, but it looks a bit out of place as the body is white instead of red and the colour of the LED, when lit, is slightly different. You can find it here.