That first one is widely available in Europe from dealers, new, at about half the cost from Jura.
Take a look on Chrono24 (search Kontiki Super).
At least then, if you hav risked £800 and it is too big, there is less to lose when you ship it on.
Dave