It occurred to me that maybe an extensions was filed in April 2018 with a payment of that much. We don't have any records going back that far, and he received refunds on the 2018 and 2019 returns with no questions asked.
