How much do you think it cost him in crypto?