@1c5d9b71 and Michigan has one called "America/Detroit" https://timezones.datasette.io/timezones/timezones?_sort=id&tzid__exact=America%2FDetroit
@1c5d9b71 hah, just found this on Wikipedia: "Attitudes began to change in the 1990s, as Indiana's time zone situation was seen as impeding the state's economic growth. Interstate travel and commerce were difficult as people wondered, "what time is it in Indiana?" https://en.m.wikipedia.org/wiki/Time_in_Indiana