“It sounds like the PS5 will be available at midnight on 11/12 in the U.S. But midnight in which time zone?”