[gk1]

There are.[1] Unfortunately they take longer to employ than the crew had time.

[1] As it happens I open with an anecdote about steering redundancy on ships in this post: https://www.gkogan.co/simple-systems/

[dopamean]

Thanks for this comment!