In the Trobleshooting area, this should have been added to the troubleshooting notes:
I had this happen today... Was on phone with Exmark support... We fixed it, but it was a bit embarrassing....
Symptom: Engine starts, but, when you release brake, you hear brakes release, then the engine...