Oops, the last "Anonymous" message (#7581) was mine--I'm a new user and I forgot to log in. Thanks.