Isn't HK under PRC control? The GFW might not be there right now, but who knows what happens over the seven years during which new Pixels are supported.