Yeah, I expect there would be whining, but like you say, they have the money. It wouldn't even be the most convoluted tax stuff, on par with some fairly common tax stuff faced by fairly mundane taxpayers. They seem all too ready to handle the complexity when it represents a loophole to avoid taxes, so they should be ok with complexities to close the loan loophole.