I must admit I havent played around with double buffering yet, and I didn't
play with that particular Benchmark module. It sounds to me like your menu
gets rendered into only one of the screens, and not the other one (the one
that gets displayed).
It's kinda difficult to diagnose without listing. Email me a copy if
you'd like, and I promise to look at it.
Sorry I couldn't help more.