How Rich is Robin Hoen (m. 1961–1962)?