Looks like @bobp hasn't received any replies!