Yes, they leaned on PCCW to get those numbers. Luckily they had not been allocated.
For ACARS weather airports you need to go much higher than HKG ATC. I suggest going to your Line Ops people in the first instance and they will know who is their weather service provider.