I just now saw this on another site. He did some great work, and not just on Happy Days. Goodbye to another great actor.