I think the IRS just matches the first 4 letters in the last name, so as long as that is correct, you can probably enter any last name you want.
