You can edit /etc/hostname as root in a terminal window to change the Device name. Just what do I use to "edit" this file to change the hostname?
vi /etc/hostname