Looks like @szlomo hasn't received any replies!