This script takes a csv of zip codes and finds the local ATSC channels based on that zip code. It may be useful for someone else?
It's also a first crack at using asyncio.
http://transition.fcc.gov/mb/engineering/dtvmaps/
This is where we get the data