I bought my 8800 on eBay for less then $80 complete with box and all accessories.
I never understood why people worry so much about buying on eBay. If a seller has had his account for a while and has high positive feedback I don't see why anyone wouldn't want to buy from him/her. Additionally in case something goes wrong you can always dispute the charges if you paid with your credit card.
I really don't see what the big deal is. If I was you I would stick to eBay there are a few 512-P3-N801-AR on there right now.
Guess you were never burned with ebay.
In any rate, the reason why I was afraid was because the one that I was looking at didn't have -AR at the end. If N801 works, then I will just go with that..