I've seen (and am using) an alternate syntax to get the time in
different zones - I don't really know what's going on "under the hood"
but thought I'd mention it. What works on the server I'm using (linux
of unknown flavor, PHP 4.3) is setting the environment to be
"EST5EDT4" etc.