For any other searchers, from the CBOE website:

Q: Where can I find historical options prices?

A: Currently, the Chicago Board Options Exchange and the International Securities Exchange make historical options pricing available on a subscription basis. Information on these offerings are available at the following links:

http://www.marketdataexpress.com
http://www.ise.com

Additionally, you may also contact market data vendors, i.e., Thompson Reuters, for historical options data. For more information, visit http://quant.thomsonreuters.com/.