ANAC doesn't fuck around. And they're great with e-mailing in English. So formal though :-)

I've had a similar issue with KLM, and once ANAC is involved, it's over.