If they're any smart, they've used Binance's 2BTC per day no KYC ability to exchange to Monero and you'll never see your coins again.
Not necessary.
He might not get his BTC back through contacting binance, but maybe by filing a police report.
If they succeed in finding the other person and file a claim, he will at least have the possibility to get the $ equivalent of his BTC at that day back.