I know upgrades come out of R inventory. I can't check for R, but can infer certain things from looking at other fare classes. The point here is, there seems to be no reason EUA shouldn't have run on an apparently completely empty F cabin. In our experience, EUA to/from COS runs early and often.