We did have to wait in a long line to pick up the car.

We needed to switch drivers and if we had booked directly with Ilha Verde we could have done that without an additional charge.