Hot Wheels Premium vs. mainline — what’s the difference?