For a trade in that sounds like a good deal. If you are trying to sell the car without part-exchange that is rather poor as they could sell it for around £9,000. I would expect about £8,000 private sale, but it comes down to if you want the fuss. I assume it is low miles. There are plenty of 07 focuses for around 7k from car supermarkets.