It must be a very difficult decision to actually throw away the aircraft to preserve life of the occupants. There will probably always be this nagging thought in the back of the head that it could have flown on.. At least that is how I feel every time I study the emergency checklist and come across the words "ditch immediately". Well done indeed.