To get his stimulus he would have to amend his return to reflect that no one else can claim him. Unfortunately amended returns can take 6 months to process.
