I wonder if they might’ve just spent it. 700 coins isn’t much, you can buy 8800 coins for $50 US. You can’t transfer Minecraft coins from one account to another, so I’m not sure by what process the coins could be “stolen”.
Pretty sure you can limit multiplayer Minecraft to just friends, or just play as a local multiplayer.