options on anything that's correlated with it should do it. (basically if "RE is up" so should builders, suppliers, big corporate lenders, mortgage processors -

options on anything that's correlated with it should do it. (basically if "RE is up" so should builders, suppliers, big corporate lenders, mortgage processors -- so if they want to hedge against RE going down they could have bought options that pay when those go down)