John Baeder (born 1938); Empire Diner;