Was looking at some new honda mowers the other day.HRR and HRX. Saw them at the local dealer and then at home depot. They have a different model #( no K2 or K5) and are cheaper at the home depot. Called honda and they said they don't make any mowers differently. I would still purchase it from my local dealer anyway, but does anyone know if there is any real difference? Thanks in advance.