On 29/05/08 08:31:19, Mark J. Reed wrote: > > Standard US usage is EST and EDT. > How dull. Things are always much funner when there's a random distinction.