Mario’s Height Shock: The Average Height (Spoiler: It’s Not What You Think!)