What do people use to externally monitor their servers these days? Pingdom was the popular, safe choice for a long time, but they were acquired by SolarWinds some years ago, and they recently jacked up the price.