HKG started to use the new gate numbers (5xx) several months. I got a KA BP with Gate 5xx on it (I believe last November) that I did not notice until I was in the lounge. I ended up asking the lounge attendant. I pass by HKG all the time but did not notice when they changed the numbers.