I haven't looked at DESW prices in awhile. I was surprised to see Pinside has a listed range of $3240 - $3760. Seems like a lot of them have been popping up on FeeBay and Craigslist recently with a higher than usual price, interesting timing with the rumored new one around the corner.
@garrettus , I think some things you have going for you on this listing is that you appear to have the original Death Star which has texture and a decent paint job whereas the reproduction ones I've seen don't look as good as the original. Your (mostly irreplacable) R2 legs look to be in-tact too, that's nice to see. Also, the cabinet art looks good from these two pictures.
I'd recommend taking lots of photos to help showcase the condition of your machine and justify the asking price, which seems misaligned with what these usually go for. Also, it looks like you have a combo of LEDs and Incandescents going? At this price point, I'd say pick a lane on that. Go full-bore LED or go full-bore originalist but having one foot on each side of the divide probably isn't helping you. GLWS.