Thanks for the Yes vote....the IRS is just now(early to mid October 2019) sending out the refunds related to this snafu.
