So the first thing they did were they did the hats, Boring Company hats, and I think they raised something like $5 billion, million dollars, some ridiculous amount of money on just hats.