Please disregard the above post. I should have researched before posting. You simply do this:
echo(date("T", time()));
...this gives you the correct time "extension" for the time zone you are in (I tested it by subtracting 10 million seconds from time() which gave me a date somewhere in September; the code outputed "EDT", as it should have).
Mikhail