Right – called EDF again. Economy 9 is now called economy 10, but it only operates for 9 hours still! It is sometime between 10pm to 7am, and a top up between 1.30 and 3.30 pm. It will take 8 weeks to switch over but still – yay for EDF!
Thanks for everyone's help. 🙂