Thanks. My eyes must be slipping but it looked no longer than 8k which would be extremely short for int'l heavy ops. 12k is OK. Whew!Without lookin' it up ... 12K & change sounds about right ... ol' Hong Kong was @ 11K which didn't count for much given the 'interesting' aspects of the approaches. The runways may as well have been 8K ...
And for the record:
Gaddis Dress Code
Lunch - Business casual
Dinner - Jacket for gentlemen
*No flip-flops, beach sandals, plastic footwear, athletic wear or jeans. Additionally for gentlemen, full length trousers only and no sleeveless shirts.
Ahhhhhhhhhhhhhhhhhh ..... Civilization ...
Never personally piloted into old HK, but rode as a wide-eye

I miss the old colonial atmosphere of HK. And dress codes? Fine by me. And also, while the old airline non-rev codes were too extreme for too long, they went to the other extreme where anything goes. Is that progress?