Thanks for your help.
I have ordered the AEG from John Lewis. It was £20 cheaper than the JL model, has 1600 rpm spin (instead of 1400), is slightly more energy efficient, and spin performance A instead of B. As we've both said above, the JL has longer warranty and is likely flagging a tiny bit in spec 'cos it's possibly a little older and they are always tagging new features on.