Happy Days the Musical l.p.