bob marvin net worth