Oh, yeah, you are probably right. If it were mandatory, it would not be a benefit, would it? I wonder what kind of frame of mind I was in to have interpreted it that way.
For your further amusement, one time I saw in a newspaper ad this "benefit": vending machines in lobby.
