How Rich Is Larry David