Honest question, but how do you steal a PC? If the key is hard coded in the code, then really you wouldn't be stealing a PC as the previous owner would still have the key, right?

So if Josh originally had 15 PC Keys, how could he no longer have those? Unless he lost them (formatted hard drive, shredded copies, etc), he would still have access, no? And as has been said, just getting a key doesn't grant you the coins in that PC. So even if someone got the keys, Garza would still have the 1.8million coins from those 15 PCs, right?

Unless what is being said is that someone emptied 1.8 million coins from Joshs wallets, transferred them to wallets they control, and then used josh's PC keys? Wouldn't we be able to see that somewhere on the blockchain?