We learned early on to check actual user stats by going to the command line and typing show aaa users.