They aren't, but even better we now have our first preview of some of the models coming in the upcoming Hot Wheels K case:
These were found at Coles Supermarket in Victoria, so those of near one may want to head over. Sometimes the short card assortments are slightly different than long card assortments, so that is probably the case here.
We are obviously most interested in the Hakosuka Skyline, but there are some other notable curiosities, namely the Let's Go, which sounds very similar to another popular toy brand. The card back confirms:
That makes two Lego-themed models, which must mean Mattel likes that idea.
There might be more out there, so our friends in Oz, let us know what you find...