I bought historical option data in the past directly from CBOE [0]. Depending on what you need the prices are very reasonable. E.g. for a single symbol ~$70-$80 for a year depending on the interval you need. There is a big discount if you just buy all the symbols.
I cannot recommend the stock prices though. Somehow there were just a lot of mistakes and you can get them from other sources cheaper.