Still a crazy price for a 7800 bike, especially in that mint nick.
Nearly ten years ago I paid AU$600 for such, in good condition, and it was a great price then. Last year I paid $1k for the same bike in excellent condition, and that was a pretty good price.
Not sure if you're being serious...
He bought a donor bike with a 7800 groupset and put that onto his Giant. :-)