Decreased speed simply means that the bend changed the gov setting - zero damage from that.
And no need to replace a good quality OEM carb for dirt - cleaning is trivial and will give you a far better carb than the cheap Chinese junk that is out there . . .
Most Honda mowers are speced to run about 3100, but have a max speed in the engine docs of 3600, and can tolerate far more. They aren't glass - it really would have to be screaming to hurt it . . .
- Tim