How much money did these people that "knew it would fail, of course!" put on shorting it when it was $35? If any of the people that "knew $38 was way too high"

How much money did these people that "knew it would fail, of course!" put on shorting it when it was $35? If any of the people that "knew $38 was way too high" had done that, they'd be out counting their money on a beach, not sitting at their desk. It's all just hindsight garbage.