How big of a difference is there in regards to maintenance? I have narrowed my decision down to 2 different Champion models. The first is a 7.5 hp model with a r15 pump. This model has disc valves and the pump turns at just below 1000 rpms. The second is also a 7.5 hp unit, but has an r30 pump with reed valves. The r30 pump only spins at 575 rpm. This is for my garage shop and I want something that will likely last forever. There's not much on the used market here and I have been watching for months. I really like the low rpm r30 pump, but have heard that reed valves can give you more trouble. Noise is really a concern due to where it will be placed. Thanks!