“Harvey”. by the Pete Petersen rehearsal band