Just saw these for sale when I was looking for something else:
http://www.dawsonmachinery.co.uk/use...ng%20Machinery
The Stanko is the cheapest but the TOS looks a good machine, with a milling head as well. I don't know what you were thinking of paying but when I was looking for mine I struggled to find anything that was likely to do even half a job for under £10k.