Most of the heavy guys I know retiring recently at 20 years are in the 4,500 range. I hit 5,000 in 13 years, and while higher than most of my year group, the guys that grew up flying 3 wars have a lot of hours. 5 years from now when we start hitting 20, I think those numbers will go up.