availability in UK?

[k247tEK]

hello to all...

I'm in the UK.. & wish to purchase this board ;-]..

found two links..

SmartFly info ASUS Tinker Edge R RK3399Pro Single Board Computer with Edge TPU AI Accelerator and Dual Camera Interface, Support 4K Decode

youyeetoo ASUS Tinker Edge-R Soc Rockchip RK3399Pro, with 2GB Rockchip NPU, 4G RAM & 16GB eMMC Mini Motherboard…

but I'm not sure if they are official Asus Tinker Edge R boards...

hope someone has link to purchase this board in UK..
----------------
Many thanks..
k,
---
ps.. 
now that android 9 is out for this board.. 
what would happen if I made SD image for it but put SD card in..
tinker Board... hmmmmmm ;-]....