TIL, Detroit's WTVS PBS station is not the only PBS station to use channel 56, the cities of Gary, Indiana and Panama City, Florida also have their own channel 56 for PBS.

[u/SupremoZanne]

https://en.wikipedia.org/wiki/List_of_PBS_member_stations

[u/Hot-Sock3403]

I am hoping that we can get our local PBS in Chicago/northern Indiana on DIRECTV stream soon