Just for those curious of how things turned out overall: we managed to recover 23.66% of our Bitcoin. Yeah, a 76.34% loss sucks, but it's better than a 100% loss.