Meanwhile, the kid gets a check for $1,200.

IRS prefers the 1040-X, but what I would do in this situation is a paper 1040, marked "Amended" across the top, and maybe attaching an explanation of what happened.

You can wait several months to try e-filing again, but a paper return for the parents will probably solve the problem faster.