Well, I think users can forget about the accumulated RP, as well as the locked FUN tokens. Even if they suddenly decide to return not only sats, but also FUN tokens, it won't be good for users anyway, since most of the FUN token supply is locked on freebitcoin. Just imagine what will happen to the FUN token price if users start withdrawing billions of tokens from the freebitcoin site to exchanges.