TimeSlips 2018 License not clear in Terminal Server session on Exit

SUGGESTED

I have a client using TimeSlips 2018 in a Terminal Server environment.  The data is on the primary data server with users connecting between a number of random Terminal Servers.  According to the documentation, the licenses should clear when the user exits properly and signs off.  However, this is not happening and we have to login and clear the previous server assignments.

I've contacted Support but they were unable to assist.  Someone did mention in a different discussion thread about a batch file that can be ran, but they did not provide the details or contents.

Suggestions much appreciated!