@chigrl Wow.  With $80 oil you can expect a lot of increased activity in the oil patch in Texas.  Small producers are reworking wells more quickly.  Lot's of  miners setting up shop as well.   Interesting times.