Agreed, but... redundant systems cost money. They've probably got some redundancy, but survival after an engine room fire wasn't in their budget. Some bean counter probably figured it was cheaper to tow the boat and pay off the passengers in this unlikely scenario. Don't know for sure, just...