As said above, that type of machine is readily available direct from China. Depending on spec, they start at around £1500. The one you link to on eBay is around the £2500 mark. I guess the seller has been a bit too greedy and could probably sell these like hot cakes at a more realistic £3000 - £3500.