He stole $80k.
I don't expect anything, but maybe Avalon could change the shipping address of the ASICs in his name.
There is no way that Avalon will get involved. They have a contract with Ian, if Avalon fails to deliver on their contract then they could be sued by Ian.