We plan to arrive to drop off our bags at the Virgin Miami terminal around 10am with a 2pm embarkation time. Has anyone recently taken the complimentary shuttle provided by Virgin to Bayside or another downtown marketplace recently? Does this shuttle still exist as of this year (January 2024)? If so, where does it take you and how often does it operate?