@cstross so basically at best it is coin flip. No, thank you.