There are Mario-themed Hot Wheels cars, headed to stores now