In my personal opinion, they should send them to @null, essentially burning the coins... If they do anything else, those coins are permanently tainted and any exchange that touches them can be held liable.