`AET' vs `GST' for time in United Arab Emirates

In <news:641quc$182@t1.emirates.net.ae> (1997-11-08), framness@EMIRATES.NET.AE (Mark Framness) writes that he uses AET as a string that he made up for ``Arab Emirates Time''. Currently the tz database at ftp://elsie.nci.nih.gov/pub/ uses `GST' for the Persian Gulf states, but that was an abbreviation that I invented from whole cloth, and this news posting suggests that the tz database should use ISO country codes instead for the Persian Gulf area. Similarly for `AST/ADT' for Arabia Standard/Daylight Time. Comments?