3 ms·

He would have made that money anyway. Actually he lost money. If he sold it later it might be worth even more.