Patience is probably the best answer because its a large change to ETH but I doubt there they have any intention to leave any token behind.   Doesnt bother me if there is delay to integration especially but most of what I have is locked, does moving the FUN token have a big advantage over rebuying, I guess its just the cost of the spread to do so.  Maybe the site could suspend the spread cost to buy/sell if it were to take an extended period of time to reenable withdrawals.
Its probably because its beyond the realms of even this large website, its the entire network and questions there.