anything sent on paper is taking a long loong time. If that 600 was included as RRC, and he wasnt entitled to it, IRS will adjust it and send a bill for sure....might take another 6 months, but it will happen.