I would be safe to say that the people that log out compared to the ones that stay logged in about 90% logout and 10 don't. To solve some of this, the RDP servers are rebooted every night. I know that does not fix the ones that are not logging out, but the first troubleshooting step that the teachers are given is to log out and back it to see if the problem is fixed.