Chachi's sitcom cousin
• Happy Days hero
• Happy Days nickname
• He who first jumped the shark
• TV character who literally jumped the shark