Exactly. She'll double her money. A binary put would be perfect, but in the absence of such I was musing on, say, sufficiently many Sep 5300's that she covered her money by the time the FTSE hit 5100.
Those puts may not be cheap though. With my US account I can sell naked options too, so I...