I think automotive gear oil is fine as they routinely perform in sealed components and don't eat up the seals. The tech support guy had his opinion, but the R&D guy didn't mention any problem with gear oil and suggested it.

Any news on the problem?