We've booked 12 days in Florida in April (yay) and will have a hire car. My youngest is 7 so still uses a booster sear. Should we hire a booster as an extra (around $60), buy a cheap one there when we arrive or just take one with us?What have others done about car seats and boosters?