hosts file would work provided you don't have too many computers to worry about, and be sure that you don't allow users permissions to change them again. Alternatively you could do something similar...