Time zones are not limited to 3 letters. "ET" = Eastern Time, which switches between EST and EDT depending on the time of the year (currently the East Coast is in EDT, not EST).
To answer the main question though, according to Jat's twitter, the patch is imminent as long as the latest upload is not buggy.