Retirement tax questions

If later you decide you need to pay in some more you can make an Estimated payment directly on the IRS website. Be sure to pick 2023 1040ES payment
https://www.irs.gov/payments