Found that Bloomberg does have historical data for options.
The Bloomberg helpdesk told me the opposite.
But now we do have option historical data on BB.
The problem is:
with futures, the contracts keep changing,
say the crude oil futures,
how to download historical option data on...