Well, after considering the options, I think I am going to query the active directory to see if the machine exists. I can't be sure how long to set the timeout for pinging, and that could end up taking just as long, I think. So, I'm just going to store all the machine names in a dataset and compare against that.