We've been through a similar situation here regarding taking your sick week as vacation, ie, being told that if you do that you can't then call in sick or you will face discipline. It doesn't hold up. The company agreed in the contract to allow you to take your sick week as a vacation week. It's not an extra vacation week, it's a vacation week that was negotiated for us, and no, it doesn't count as five call ins either. You can still call in sick as many times as the people who didn't use their sick week for vacation, you just won't get paid for them. I haven't read your supplement but it doesn't sound like option3 should be treated any differently.
Just to be clear, I'm not advocating calling in sick just because you want another day off, you shouldn't call in unless you have too whether you took your sick as a vacation or not. But neither should you have to come to work sick under the threat of discipline just because you exercised your contractual rights.