At Least Mike Gravel Doesn't Have Anything More Important He Should Be Doing