The IRS computers will be able to read the Zip code in either format. It literally doesn't matter. There are way bigger things to worry about than a dash that doesn't matter one little bit.
