By that point in 2018, bitcoin was already 9 years old and its exchange rate had grown from zero to $20K and was on its way back to around $3600 by the end of that year. People like him saw that as a time to gloat, not as a buying opportunity.