Thank you both for the responses. They decided to do the max 401k which is requiring me to amend.

Any suggestions on the fastest path with lease resistance - is filing as an amended return on 04/16/25 ok or should I wait longer - filed their return 04/07/25 with big payment coming out on 04/14/25.