Личное мнение о Дне шахтера

Сегодня 25 число, последнее воскресенье месяца августа, а значить настал профессиональный праздник вех работников угольной промышленности. День шахтера! Углубляться в историю, я не буду, так как просто незачем. Собственно я сам являюсь потомственным шахтером и не трудно догадаться какую профессию я выбрал.
Многие поздравляют меня в этот день, но искренней радости от праздника у меня нет. Хоть и работаю/работал на шахте ни разу не присутствовал при непосредственной добыче угля, а тем более его не добывал своими руками, как мои родственники.
Хоть на шахте и огромное количество операций предшествующих добыче угля, не менее тяжелых и трудоемких. По моему мнению шахтером можно назвать того человека, который добывал/добывает уголь "своими руками". Ценой своего здоровья.

И собственно: С Праздником МУЖИКИ!