would be interesting to see what happens to them when they're found, shame we'll never know.

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