A mate of mines' dad told me they were the same as Jaguar ones.
I don't know whether this is correct, but he is a very experienced motorcyclist who runs old bikes now and hasn't stopped running them since they were new.
So it would be worth looking into.
Be sure and let us know what you find out.
Cheers,
Iain