Yes, in that range. Then you'd be looking at about a $1,500 cost at that point, to change that compressor module to get another 5,000 hours. Hopefully by that time it would have spread out to 7,000 to 10,000 hours. Over the years there has been an increase in lifespan on those compressors, so it's a tremendous benefit at that point.
On May 17th, 2012. See this statement in context.