We have a Silicon Mechanics Server with Debian OS that we are shipping to Brazil for a climate experiment. Do you have an Export Control Classification Number (ECCN) for your OS so we can get export documents issued by our company. Thanks-John