SmarmySeaurchin8 did it work out?

Yep. Works as you said.

So its reported status is cached in Redis and should clear by itself soon

Hi SmarmySeaurchin8 ,
The agents that report to the server are registered in the Redis component and their registration is timed out after a period of 10 minutes (assuming they're not still up and reporting).
Is the agent in question still up? Also, how was the server reset?

Let me update you about this in a couple of minutes

Brutal sudo reboot, the agent is not up anymore