Taxpayer filed an extension for the 4/15/19 filing deadline. When return was prepared and filed credit was not claimed for the payments made with the extensions. Therefore the tax was paid twice. Anyone have any insight as to the most efficient way to claim this refund? Options seem to be file a 1040X, a 1045, or write a letter.