I did check his FaceBook and he's posted recently, so...

I think you are right, there is no cd with those tracks in that series. I think they were only originally released on 78s, without a 'fifties LP reissue--that series from Denon Japan was reissuing former LPs. Chuck is right that they are on that cd which is not part of the series.

I hope Allen is ok, he's always been unfailingly nice to me.