You can use the inverse funds - Rydex has them, for example - to 'short' in an IRA. Minimums, mutual fund redemption policies, trade time restrictions notwithstanding. I've got an IRA at Rydex. Works OK for me ... rr