If he brings it back to Illinois, he'll also pay 61/2% sales tax on a new vehicle before he can register it. That's about $10K, however, since the guzzler tax was included in the sales price, he's not paying for that, so that's like a $2100 savings.