I have a couple Sony EX1 & HVX cameras at work, we’ve only sent them in when they need repairs. Does anyone know if these cameras should have their "oil changed every 3k miles"?

If so, how often? About how much does this cost? And where should I send them (local repair shop or send to NY / LA manufacturer’s shop)?