My first user in HK got their Bold today activated on the BES. It's from SmarToneVodafone. It's funny to see the "9000" on the list of devices now. The two units they bought were unlocked, so as soon as I can get my hands on it, I'll try putting my AT&T/T-Mobile SIM's in it to see if I can get it to work.

I'll let you know how it goes.

Be careful in doing that. According to this thread:
RIM Blocking Retail Units PINs being used in the U.S???
Doing so may render the device useless for your HK user.