...
Issues (3) and (4) are probably server\database issues
How do I know to which Bastion server the client is connected?
From a client connected to Agat proxy run:
https://teams.microsoft.com/teams_protection/healthcheck/proxytest
In the response you should see the “Server Name”
...
Collecting logs for issues (1) or (2)
...