In addition to the previous suggestion, if you have the hostname of the server showing DEV, when you first log into Policy Manager, the Dashboard can show you Cluster Status, and that would include the servers in the cluster - if you name them with DEV, that's another step that could help.