If you guys had a choice of these mowers to buy which would it be: First is the Exmark Turf Tracer HP with a 19hp Kaw w/52 inch deck,electric start for $5075. Next is the Bob-Cat 17hp Kaw w/54 deck (no electric start)$4459. Both are hydrostatic both are new. I am told, buy where you will get the fastest and most reliable service. Any thoughts?