Finding one will be more of a challenge than getting a good price... They do come up the odd time if not in a rush and pretty much bargains as not a big market for them... This year there have been about 2-3 around the 16-18k mark as per Joe's post and for that money indeed you couldn't import one. It will pay you to be patient and keep an eye out on all the usual sites if you have a bit of time to find one.