I can't believe I've only just realised you can SSH into local machines by using ssh username@hostname.local, rather than entering the local IP address each time...

Duhhh

;n;