The machine IS earthed at the plug socket.

Would it be ok to earth it/the workshop locally too ?

From my audio/on stage days, earth loops can cause lots of problems too !