or "TM3"? There could conceivably be other Tesla models with 3 in the name, like versions of the Roadster or X (though we'll be in real naming trouble if Tesla releases an "X3"!)