Mooch, I had that happen to me with my dealer. His reply was, it didn't hurt the mower and just remember how many hours are not real when doing the service work on it and we have that happen all the time.
I was not a happy camper and told him so. He said, well there is nothing we can do about it and it is just not a problem for me. I feel he is full of crap. He is no longer a dealer in our little town. Thank goodness.