Working hard on the next GR story. Looking for some technical help. Has anyone taken a cruise on Royal Caribbean from the Port of Miami prior to November 2018? I ask for that specifically because in Nov 2018 Royal Caribbean began using a whole new terminal complex, Terminal A. According to my research, before that they used Terminal G for their cruise ships (and maybe still do.) I've never cruised out of Miami and am looking for some information on the terminal and boarding procedures for a time period prior to the new terminal. Many thanks!