So I'd lean toward banning this particular service even if they didn't meet the mixer definition. "Make your dirty coins clean" is not something that typical no-KYC exchanges advertise.
So basically, talking/marketing about cleaning coins = banned.
No-KYC service *can* be used to clean coins but doesn't publicly talk about this = ok
Is that it?