I've always wondered how options are priced on vix etfs, since their prices are fairly predictable ie. can only drop so fast, and tends to be in contango.