Does anyone here use options on futures to protect against a doomsday scenario, say getting stuck long on another 9/11? Seems like a good idea. Any tips or pointers to information/strategies? Fletch