Perhaps your data is more recent than mine, but I recall them being depleted to drop the pump price before an election.
Don’t recall hearing that they’d since been replenished.
Don’t know either,but just e few weeks ago,they were talking about selling a bunch off.