What is the recommended technique for shifting a 10-speed manual transmission truck from 5th to 6th gear (the split)?

1. Use the clutch and shift lever simultaneously with extra force
2. Toggle the range selector to high range while in neutral
3. Use the splitter switch to go from low to high split while near the shift point
4. Apply the brakes briefly to slow engine RPM