There is a good conjecture what H*(BE8;F2) should be, and in previous work we have described a reasonably small resolution that is supposed to compute it. It would be nice if we could finally make these ends meet.