I bought a Craftsman lawn tractor with a 42" mower deck in 2001. It has the Kohler 17 HP engine. All I've had to do to it is replace the battery once, then belts and blades a number of times. I sure can't complain about reliability. Performance-wise, it's fine except that mulching only works if the grass is dry as a bone.
I will say, though, that the 42" deck wasn't a wise choice. It takes me 2 hours to cut the grass - about an acre. Depending on the size of your lawn, I'd suggest getting the biggest deck you can afford and navigate around the property. At the time I bought it, prices were much higher for bigger decks and I went cheap.
BTW, for those of you chuckling about a 7 speed transmission. You need the gear ratios so you can adjust tractor speed while running the engine at max RPM. Mowers work best at full speed. Depending on the terrain and the height of the grass you need to either slow down or speed up the tractor itself.