Yes, but other adaptors work - I have a Targus one which is somewhat smaller than the Teleadapt and works just fine. The power feed/socket isn't specific to CX so pretty much any 15V airline adaptor which has the right tip for your laptop will do.

There is certainly plenty of availability at HKG airport shops.