As far as I am aware there is no part of the Barnett Shale that is 12 to 17 thousand feet deep. Just West of Ft Worth the BS is about 6800 feet.