Happyminers is working great, getting about 1/50 block every hour (about 10 Lenny). Great pool!
But it would be better to spread, xtrappool has only found 1 block and the official pool is offline!