Our F5 checks the health.php page for a 200 status code. When a server has a credential manager down we are still sending traffic via the F5 to that server since health.php is still sending a 200. Is there a manual way to turn-off the health check? Or is there a more elegant way to deal with a server with credential manager down?