Long story short
Is there an official, un-deprecated timezone that PHP5 recognizes for Eastern STANDARD time--not Eastern DAYLIGHT time?
You should always store times using UTC, which is what time() returns, then set the timezone based on the location of the server, which will be updated for DST if applicable.
time()