You will be lucky to get a brand new one for under £1200 as Pioneer have really gone mad with the price of their kit in the past year or so.
The 800 is the best mixer you can get your hands on though, allthough a cheaper but just as good option would be the 700.