“Palo Pinto sandstone is a ferruginous, Pennsylvanian-age sandstone unit that has been quarried as dimension stone in Palo Pinto County since about 1880. It is present on many building facades throughout North Texas. ”