Hi, I have just bought an old JCB 801 excavator and would like to get an operators and service manual. Can anyone help?

Thanks
Ter...