How Rich is Marvin Hamlish?