It’s good to be reminded that most of the folks in a cockpit know what they’re doing.
The four of us proceeded to take the cockpit operating manual, which is a red manual that we have in the cockpit designed to cover all of the emergencies that you would think that you might expect to encounter. This was not in the manual.