Thanks Steve.
I'd got that far too, but it's not coming from ajax.minicart.js (which would seem to be the obvious choice and is also the one that appears to be called).
I guess I will just have to go through every file to find it,
unless someone is able to tell me which files are involved in creating the minicart.
Thanks again
Rupert