I would use DASHBOARD_SERVERS directly.