Pinside has a price guide. It has BF at $2600 to $3000 and I have found most people ask more than top end of the Pinside estimate. I would use that range based on condition and knock off $500 since not working, but looks good otherwise. $1500 that others have said would be a hell of a bargain.
Someone mentioned the large DMD is rare. I have seen plenty for sale and a lot of people prefer that Color dmd better.