To create a batch file, all you need to do is create a new, plain-text file with the .bat extension, and enter any commands in the file the same way that you would use them on the command line.

I've tried giving each user a bat file that will start the service that they can run when they leave but everyone undoubtedly forgets to run it.