COOL CATS: Arthur was this cool "Happy Days" character's first name