10 K Year Clock: Mt. Diablo

At the very top of Mount Diablo in West Texas,

there is a mining headframe visible from the highway that goes north from Van Horn, Texas.

Is it a mine?  No!  It is going to be the home of a 10,000-year clock!