I think EU-spec Teslas use CCS so they would actually plug in (though you can't actually use them). You can also use Tesla destination chargers even in the US on any EV so I feel it's not totally unreasonable to be surprised by this.

EDIT: I incorrectly said CHAdeMO