When descending a long, steep hill, what gear and braking technique should a professional driver use?

1. Shift to neutral and brake continuously to save fuel
2. Select a suitable low gear before the descent, use engine braking, and apply the service brakes in a controlled manner as required
3. Shift to the highest gear and press the clutch pedal down
4. Turn off the engine and coast down the hill