......which terminal in Miami you fly into with Virgin, if there is a usual? We want to book a hotel for the first night at the airport and pick a car up the following morning from the airport (using Florida Car Hire of course)