Name change of a DBA

My son wants to change the name of his DBA.  Does he submit a form to the IRS?  If yes, what form?  Presumably, the IRS response will be slow.  Should he just use the current name on the 2024 tax return until notified of the change by the IRS?