 But in western Kentucky. Yeah, they do. Muhlenberg County. I thought you meant actual western Kentucky. No, just Muhlenberg County. But that's western Kentucky. Eastern, I think, is the word you're looking for. No, that's what I'm saying. Muhlenberg County, I think, is western Kentucky. And they mine coal.