Did the same with a previous washer. The advantage was I only needed the bolt to pull it out to turn the washer on, and could still turn the larger part underneath with two thumbs pressure to select the wash. Never bothered with a replacement, worked fine, even for my wife. If it ain’t completely broke, don’t fix it.