Quoted from MJW:
They can be hard to find. Pin led out of Germany made an led replacement for around $300.00. There is also another company in u.s. That is going to make the led version. Can't remember the name. I would agree with arakissum price estimates. Checkpoint uses this DMD which was also the first game ever with a DMD. Not sure what other titles use this small size.
Boston pinball company is bringing new led ones to market soon!
Ya original ones working I'd guess between $150-200 now. Once the BP ones comes we should see what their price is, may drive original ones down