It seems unlikely that the thieves will try to sell the stolen coins directly on an exchange. (Wasn't there a case of an exchange freezing and returning cryptocoins that had been stolen and deposited there by the thief?)
The thieves could swap those coins off-exchange with some large criminal mafia; say 5 stolen coins for 1 "clean" coin. The mafia could keep the coins until they "cooled off", or use them for other criminal trades. Meanwhile the thieves could sell the clean coins on the exchanges, and withdraw the cash to legit bank accounts --- and no one would be able to connect that money to the theft.
Thieves probably use mixers, there are much smaller expenses to get hard to trace coins in return. For such a large amount like 130K BTC they will probably have to split in smaller batches before they send it to mixers, no mixer has big enough volume for the coins to be untraceable.
Isn't it possible for a mixer to identify stolen coins once deposited and "seize" the coins temporarily to return them to the rightful owner?
I don't think any mixer would want to give a thief clean coins and get dirty coins in return.
It will ruin their name and make them equally as bad if they know they mixed stolen coins just to scoop up a good fee.
You would think that but the fact that they clean drug dealers and takers coins in an attempt to help them cover their tracks makes me believe they would not care if the coins were stolen or not i maybe wrong of course but i doubt it. If anything they would probably keep the coins them self and that would be the second theft of coins, 'theory' more than likely just clean them for them..
OP that is a well put together post with all the information needed, awesome to see that much effort has gone into it thanks