E(8) x E(8)?