Update: Got funds. Wasn't much left on there at the time but still nice. Mostly happy for others to be made whole after that fiasco. We might not have gotten the relative crypto gains from that point but at least the USD value is something.