Here's a quick bookmarklet script that may or may not be useful to you folks. I keep it in my bookmarks bar. Basically, you hit the bookmarklet, and the browser shows an alert that contains the players' names and how many armies and territories they have.