Unless they trade the already tainted BTCs into XMR we very likely will once they try to cash out.

Oh I've no doubt some people will figure out who it was, it's their fate we won't be privy to, but I'm certain it won't be pretty.