Yesterday, I posted a question in a HK-related forum about the difficulty of finding such coins in circulation.
I was informed that these coins were set only (both uncirculated and proof) and weren't minted for general circulation and if someone pulled one of those from circulation, it was from one of these sets.
Per that reply and the links provided, it was 200,000 uncirculated sets and 97,000 proof sets.
Namely, these links should have a correction to reflect this: