Product review (5 stars): Perfect replacement. I was kind of surprised that the ...
Perfect replacement.  I was kind of surprised that the original broke.  That dial is seldom used, but maybe I dropped it when I was cleaning it and didn't notice?
I looked it on Amazon and had the replacement in two days.  Works great.