Need advice from experienced sellers

I have a well regarded integrated amp which has a dim display. I've discussed having this repaired with the manufacturer and the cost of repair with shipping could run as high as $400-$500. I've noticed these units go quickly at $3000 and few have been available recently.

I've pondered whether to sell the unit as is with a discount to compensate for the fact that it isn't 100% or risk having it sent in for repair. If I send it in for repair should I sell it from the repair site or have it shipped back to me so I can check it out and verify its condition before selling. How would you handle this?

Thanks in advance!