Yes, unfortunately it would cost much more. I have all of my trip notes and receipts from the last few trips. I'm just not sure of the overall percent. I'm pretty sure we got 35% off a deluxe 3 years ago, but our trip was in July. Last June, I thought it was 30% off. It was definitely a large...