Sorry to keep adding snippets piecemeal, but our mowers are set to 3200RPM as per the owners manual that came with my HRX. However, the below site suggests that max power of 5.1HP occurs at 3600RPM. I think I'm going to set my mower to that.
http://engines.honda.com/models/model-detail/gcv190