Looks like @gelfand hasn't received any replies!