Ohhhh, I am sure there was "overtime" involved. Just not him working it to get the pay...He would have to be payed at least $48.07 per hour to make 100K per year. I think there was a lot of overtime involved, but I'm Happy he could make a good living, and provide for his family.
Heck, I make around $90K a year in a non-union job, but with a lot of overtime. I know people who make a lot more but live on the road, working 7 days a week.