Looks like @shlomo hasn't received any replies!