A Curmudgeon\'s Guide to the Washington State Ferry System