It does not matter what registrar you use if the TLD is managed by a US registry (.com, .net, .org, .name, .cc, etc). The government goes straight to the registry, not to your registrar, to change the records. Gandi would have no power to stop that.