How Big Is VMS?