I know Thrifty/Dollar has a shuttle to/from the port and MIA as we have used them. They usually check that you have rental paperwork with them as you get on the shuttle. When you make the reservation you need to make sure you choose the location that has cruise shuttle in the name. I think the other company with a shuttle we have used was Alamo.