This shouldn't have taken me so long. My husband wouldn't name his new laptop after a popular British F1 driver, until I managed to change the desktop hostname to that of his team-mate. The desktop was previously so named because it was so fast (ha ha oh).
Anyway, the answer was to add
HOSTNAME="F1driver"
to
/etc/sysconfig/network (since it wasn't already there for me to change). Alternatively, I could have done
sysctl kernel.hostname=F1driver
as superuser.
It's a win.