 Interesting. I coal mining is something that my grandfather was a coal miner. So he started when he was really young and it was a big part of his like he met a lot of his friends there. He became a race car driver. So it was an interesting kind of pivot. But he was he was a part of the coal mining strike. Like he still has a lot of his friends.