And no, probably they weren’t using an hardware wallet, but a proprietary solution based both on physical and on-chain techniques.
There's a video where the CEO tells about the thing and says he used Ledger hardware wallet. It wasn't the problem of the wallet just the good old human error. He said he did not verify the destinations of the transaction and thought everything checked out.