Well why would he take FAS and FAZ if he wants to move with the whole market? Sometimes the financials don't move the same as the overall market does.
I personally like SPXU to short the market. Afterall that's the closest and broadest equivalent to the overall US market. Of course Joe's small caps are a possibility as well.