[theptip]

Obviously the pitchforks come out before then.

But! Does Musk have his robot army or not at this time? That will determine how the pitchfork mob turns out.