Could probably dig it up, but no guarantees that it’d work. I’ve never had to do it and there’s an element of server side synchronization that would probably replace it.
I know how to disable the server sync, but the next time you turn it back on it replaces the computer’s settings with the server.