Thank you very much, it seems submit 14039-B is the right way to go, but it seems the IRS will take more than 6 months to process it. I see on their website that they are currently processing Form 14039-B submitted in June 2023.
