Marvin Hamlisch . . . rest in peace