I just finished my support bootcamp and this came up in one of the exercises.
Even if a front end server is disabled it should still show up in the environment health page, although it should be greyed out or using some other visual clue.
At the moment, disabled front-ends don't show up at all, which makes troubleshooting an unfamiliar system a bit harder.