抗菌施工(オプションサービス)は、強制なの?