Looks fairly beat, but might be able to be had for cheap. Looks like the DMD has a few lines locked on and has a few homemade plastics replacements. I wouldn't go over $800 for it - could be a good 1st game for someone.
http://cgi.ebay.com/DEMOLITION-MAN-PINB ... 43a3d0e454