It's not an option because it has been said that these machines should use static configuration, so that they are not dependent on the DHCP server to be online. Personally I would love to switch to DHCP as I don't think that security would be affected (as a redundant DHCP solution could be setup, which we do not have currently).

Anyway, it's not my decision to take and therefore isn't an option. If I had the authority to change how things are done in a lot of areas I would. As for now I can only comply with what others have decided and give my comments.