This has been around for years. It was actually about 2800HKD not long ago then went up to about 3200HKD (I flew it a few weeks ago) but now it seems to have gone up a few weeks ago to 3400hkd ish.
A great new lounge at HKG. Nice if you get the flat beds. Make sure you ask for the incoming BKK fastrack as they are not forthcoming in giving them out sometimes.