Where I live, in my estimation the 'educated "lay" public' would probably have heard of all the names mentioned, but with even worse notions of what their actual contributions were for Kepler.
