It's my understanding that he can simply spend those coins to another 1x legacy address to remove taint.

That’s true as long as there will be no rollback to the tainted lineage. I have argued that rollback makes no sense from a game theoretic and economics analysis, thus rollback should not occur.