Vielleicht hat er's ja auch schon bei eBay drin?
Ausserdem gehört sowas doch in die "Flohmarkt"-Rubrik.
Und als "High-End-PC" würd ich das Ding auch nicht mehr bezeichnen. "High-End" bedeutet für mich das neueste, was es gibt, und die CPU und Grafikkarte sind doch schon etwa 2 Jahre alt...