Nick,

pressing 8 at startup doesn't do anything. The only thing that "solves" the problem is upgrading/downgrading to 5.6B/5.5 – depending on which OS version caused the problem (they both do).