The special Thorens oil. #7 100 001 sounds like an EMT parts number