Question: how to check which server is the primary domain controller?
Answer: Right click on the domain.
Click Operations Masters.
All three tabs (RID, PDC, Infrastructure) should show the same server as the Operations Master.