Mike, I think it depends on whether he had an OEM with downgrade rights and took that path.
If he did, he may have to contact the OEM for how to proceed.
There's some information here, referencing it.
http://www.microsoft.com/oem/en/licensing/sblicensing/pages/downgrade_rights.aspx#fbid=E-5UlISZUQB