Retirement tax questions

IRS may not show record of it yet....did you send them the copy of the 1099R you received to them to show withholding in Box 4?