@rene change "when" to "if"... but yeah, guess we can give them until Monday or Tuesday before posting the report, and good chance someone else will notice and post such a bug report anyway. :)
Too bad Oded doesn't keep a sock account with 10k rep and without diamond to test those things... ;)