... hmm ... and are there any time-zones whose abbreviations are shorter than three letters ?