According to the wiki:
Scenarios when a GE card is absolutely required:
...
At cruise port where it does not have kiosks like Terminal 25 of Port Everglades, Florida, GE card is required to gain access to the GE lane.
So if I am returning to the Port of Miami and want to take advantage of the GE lane, I will need my GE card? Anyone tried this in Miami?