How Rich is Andy Hertzfeld?