Not yet. I  PM'ed Newra a few questions regarding on what happens during a repair. I don't want to lose 90 Nautiluscoins and all my "evidence" that something might be wrong in the case that something is wrong. Right now I have a transaction log on my laptop wallet that differs from the blockchain explorers. I do not want to lose that transaction log. I just thought to check mintpal to see if they received an extra 90 NAUT but they had not.