I found a new 809 on Amazon.CA:
+ CDN$ 8.99 shipping
I bought a slightly used 809 from Amazon Warehouse Deals in the States for under $420.00 US last August - have not had any issues, and it runs much cooler than my 806. I'd try to talk him down to 450. Does he have all the accessories - Audyssey mic, remote, and manual (on CD)?