 And I was even reading, I think in the Wall Street Journal recently, a story about people who are younger, in their 20s, starting to embrace plumbing and everything else. It's how Gen Z is becoming the tool belt generation. Are you optimistic, Mike, that a lot of people are maybe stepping into jobs that they didn't foresee 20 years ago people being interested in?