Hi George,
As far as I know, since the CCR is enabled for Ex-10-171 and Ex-10-172, the single node name cannot be recognized in EMC or EMS. They use the cluster name instead. You can only view these objects in Cluster Administrator.
You can view the mailbox server(as a CCR group) in EMC, under Server Configuration->Mailbox or run in the EMS:
Get-ExchangeServer | Where-Object {$_.ServerRole -match 'Mailbox'}
to get the Mailbox servers.
Please feel free to let me know if you have any other puzzles.
Best Regards,
FlowerWaiter