'Happy Days' trivia and fun facts