7:13 am PST. If this morning’s gap does not get closed, I might short mining stocks. I am totally out of that sector right now. Looking at other stocks.