I'm looking for help on how to export a WJ8716 to Europe. According to Fair Radio, this receiver can be exported with a license from the State Department. I emailed State, but never got a reply. Anyone know what paperwork I need and where to submit it? Andy