I’m afraid your friend is out of luck. The drive was encrypted by the board that the USB port broke off on top of that he formatted it. Between the 2 it’s pretty unlikely to save anything. If he hadn’t formatted it you could have tried to match the board up on Ebay.
Joe