With gas prices sky-rocketing , I am in the process/need of buying a new 52" mower. Should I opt for a WB or Rider. 17KAW(wb), or 23Kohler(rider) is what I'm considering. Obviously, more horsepower/weight = more gas, but how much more gas? I am perfectly content standing on a velke all day instead of sitting if need be. Is the difference in gas consumption that obvious? I've already got the models I want picked out, I'm just on the fense on this topic. Any help or suggestions are appreciated. Thanks.