Your info is correct. There are also 3.75 million 35c options unlisted.
I think you'll have to be very lucky to get some of them. Free float of these outside of the top 20 is 1.4 million options.
But agree they seem very good value given the time frame and they are already 6-8c in the money.
DYOR
