Gary Portnoy and Judy Hart in recording studio for cheers theme song