Retirement tax questions

So... do I just beg the 401k provider to issue a corrected 1099-R??

 

If they refuse, I probably cannot just leave it off my 2023 return, since it will appear to the IRS that I missed some income they see on the (erroneous) 1099-R they get from the 401k provider.

Then what?