Well, I think $800 is a little high for a standard P5, should be able to get for $650. For a P5C, that's a great price, and I'd snatch it for sure.
Now, if you don't have a P7, and haven't shot one, DON'T! Because once you shoot one, you'll want one, and they are like Lay's Potato chips, you can't just own one
I own one P5, one P5C and NINE P7s......
P7 vs P5 for same price? P7 any day. (Yes, I know this is a Walther board, but hey...)
Regards,
James