Another VaxStation 3100 question