What was the name of the diner in the television show "Happy Days"?

Movies & TV Trivia: What was the name of the diner in the television show "Happy Days"?