Maybe MagicalTux should try to get some insurance against fuckups like this. Might be expensive and put a lot of hassle on him by ways of auditor wanting to see all code pre-production
500k BTC are uninsurable, because it is practically impossible to replace them once lost.