Thanks! How did you find that Stens page? It never came up in all the searching I did with the Bad Boy, Yamaha, Gravely or Exmark parts numbers.
And no, I typically wouldn't go to Amazon for something like this because for auto parts of this type they usually are much higher than local stores...