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

What was the name of the diner in the television show "Happy Days"?
Twitter Google+ Share on Facebook