I had never heard of that until just watching the clip on YouTube. That was back in the days of "Jaws" hysteria.Happy Days is also where the term “jumping the shark” came from. It’s where a show is down in the ratings and they are desperate to bring them up. In this case a couple of Happy Days episodes where Fonzie water skies and jumps over a shark.