At 8:39 am, are EUR/USD FX options out of the money?