Which cruise terminal is my ship at Port Everglades?

Port Everglades's page names the line at 2 of its 8 cruise terminals: Disney Cruise Line at 4, Celebrity Cruises at 25. Your cruise documents name yours; the table gives each address, so the car goes to the right door (Port Everglades, n.d.).

Motorists collecting passengers can wait in the port's free cell phone lot until their party is ready, and taxis, shuttles and ride-shares are available at the port. Every entrance has a security checkpoint where everyone 18 and over shows government photo ID and cruise documents. (Port Everglades, n.d.).

Not on the pages I read: which line uses Terminals 18, 19, 21, 26 or 29; a per-terminal drop-off, pick-up or ride-share point. A terminal assignment is the cruise line's to change, so the desk checks your documents against the port's page the day before the car is sent.

What the car does: give the desk the ship and the sailing time with the flight number, and the car is sent to the terminal's own address above, planned against your line's check-in cutoff rather than the drive. The fare is agreed before the car moves, the captain watches the flight, and the pickup after the cruise is at the same terminal.