I'm glad I never had to decide about that. The 1300 BTC error with nakowa was bad enough, and luckily didn't end up costing me much; I'm left with 8 investor accounts with negative balances totalling a little over 2 BTC after I rolled back the nakowa bets:

   -0.97780326 2376
   -0.52177427 33234
   -0.26096498 33842
   -0.14724078 346
   -0.05864094 22140
   -0.02801511 3262
   -0.00672428 3039
   -0.00048667 1904

These represent investors who withdrew their profits from nakowa losing his 'fake' 1300 BTC and never redeposited to clear the debt.