Do whatever it takes to make it possible to ssh by name, not just IP number between the seven course computers. The computers should be known by the names mach1, mach3, mach4, mach5, mach6, mach7, and mach8 which correspond to the Post-Its stuck on the computers. (mach2 seems to be defunct.)
You should use the IP numbers presently assigned by the router in the room.
It would be easiest for everyone to just modify /etc/hosts; but, if someone wanted to set up some more state-of-the-art solution, that would be fine.