A truck driver embarks on a trip requiring 9 hours of driving. After 3 hours of driving, the truck arrives at the ferry port. The driver boards the vessel (15 minutes 'Other Work') and immediately goes to their assigned private sleeper cabin. The ferry crossing takes 11 hours. During the crossing, the driver takes an uninterrupted 11-hour rest in the cabin. Upon docking, the driver takes 15 minutes to disembark ('Other Work'). How many driving hours may the driver perform after disembarking?

1. Up to 9 hours (or 10 hours if an extension is available), because the 11-hour rest in the sleeper cabin on the ferry completed a full regular daily rest, resetting the daily driving timer
2. Only 6 hours, because the 3 hours driven before the ferry must be deducted from the 9-hour daily limit
3. Only 4.5 hours, because ferry rest does not reset driving counters
4. Zero hours; the driver must wait another 11 hours on land before driving again