"Yeah, seven-figure tax-dodging by all accounts."

It's not unreasonable to argue your case with HMRC, who are at best draconian, and do not always interpret tax legislation correctly. Good for him, he lost and has to pay, no big deal.