Wonderful! You did it right. I lost around 150 BTC in the Bitgrail hack in 2018 but, thankfully, the Italian justice system prevailed and we got a portion of what we lost back years later. It was pennies on the dollar but at least we got something.