Not as cunning as the Hogan's Heroes episode "The Great Brinksmeyer Robbery". Also not a lot of value. 85 miners for $10,300 is around $120 for each miner so they are not high end.

I hope they weren't stupid enough to start a mining farm with them. A sudden unexplained spike in electricity usage would be a clue that those stolen miners were in use or someone was growing marijuana and according to https://en.wikipedia.org/wiki/Cannabis_in_Malaysia that's a mandatory death sentance. Either way that's sure to draw attention.