Hi
Don’t think it was mentioned, but I think Summer of 42 was one of his ?
Love that tune.
Brings back great memories, used to practice playing it for hours.
( Don’t think I ever quite got it right , haha. My piano playing left a lot to be desired)