Are these mowers any good? I know anything JD is expensive but are these things worth it? For any of you that don't know what I'm talking about, they are the ones with the outfront deck, 22 hp (I think?) and are more for parks and stuff. My dealer has one with a 54" deck for I think he said $7500 brand new. The thing I like about it is you can set the cutting height to 4" to 1" in about 10 seconds with a rachet type thing. Really neat. I also like the deck weight transfer to the front tire. Would be really nice on steep jobs (I've got a couple of those). Do they stripe worth a darn? I know, depends on your grass. I don't know what I'm cutting (I'm a dummy, huh?) so that isn't any help. Are they like some Kees and don't stripe good? Is anyone familiar with these? Their bigger brothers are the F911 and up series.Thanks.