We always park our rental at the port, but this time we are returning the rental at the port before the cruise. Has anyone done this before? If so, how far from the Disney terminal is the car rental return, how long did it take to return your car, did they have a shuttle to take you back to the terminal, how much time did it take for the whole car rental return and to get back to the Disney terminial?