Just Dance 3 has Mario DLC, this actually existsÂ