I agree. 45 minutes is a good number. Parking, ticketing, bag check and tram to the park is the bulk of the time spent. Give yourself a few extra minutes at the WH gate as well. If a large number of people are trying to exit at the same time, it may take a few minutes longer to scan everyone out.