You should be fine with the manufacturer's recommendation.
It looks like they've just taken into account the duty cycle of the welder and applied the proper multiplier.