Does anyone know if or when the Samsung Galaxy Book S will be available in the UK?