The issue of older workers is a very important one in mining, because of the facts I gave you in my opening remarks. The term “older workers” in mining tends to include people who wouldn't otherwise be considered older workers, because we have people retiring between 50 and 55, after 30 years of service, who are not ready to retire completely.
Companies are becoming more and more flexible in terms of how they accommodate these people. The remark I make when I'm addressing groups of miners is that there's always a preponderance of 55-year-old white guys in the room. That's with all due respect to 55-year-old white guys, because I hope to be one some day.