Okay, found it:
First, understand the K-number (a.k.a. "version number") bumps up when there are significant changes.
Next, when a new model is introduced, the K-number can bump up for all other similar models, so they share the same K-number. This can happen even if there are NOT big changes.
Such is the case with the HRX217HYA. The K4 and K5 versions are essentially the same. The fan cover shape changed, and revised weight specs show the K5 version is a about 1 lb. heavier than the K4. Such minor updates would
usually just be documented as a running changes, but instead, all HRX models got a bump to K5.
Honda introduced a new model to the HRX family, the HRX217[K5]VYA, and other HRX models with Smart Drive got updated with Select Drive. These were big enough changes to justify a bump from K4 to K5. Now the remaining HRX siblings, the hydrostatic-drive HYA and hydrostatic-drive/electric start HZA were also bumped to a K5, even though the only change to them was the shape of the fan cover.