Thanks for reply. Yes realise we're quite out of date, everything's been working for years though, so didn't want to make unnecessary changes!
I actually have no idea what DNS server addresses were being used, it seems to be hard coded into the O/S somewhere, and we were specifically advised not to specify the "corporate DNS" setting during the configuration process (indeed when I did try and change this, there was no Internet access for the clients).
Anyway, have fixed this by adding a different DHCP server where I can specify the DNS.