I do not know but allow me to say it must not! I prefer your first guess a lot more! Oh and the suggested lens tooSo, let's speculate about future lenses.
I'd love to see an "affordable" DO lens similar to Nikon's offering. Perhaps a 600mm f/5.6 DO for $6000-$6500.
Am I dreaming? Would such a lens be more like $9000?