Excellent essay. I did note that your coal miner loaded 15 tons rather than the historic 16 tons of the song. Perhaps we need a discussion of long tons and short tons. Or, maybe, it's coal inflation working its way through the system. Units are a pain.

Grin, I think I implied that I actually did 20, but then that would be bragging.