Just for the record, the condensation issue was not the sign of vapor lock or anything weird like that. I found some small grass clipping debris in the bottom of the gas-tank. The mower would run for 20 minutes, then the debris sucked up against the exit hole in the tank, and tractor died...