At about 0:20 into the video below, Sandy Munro shows oil filters on the gearboxes of the front and back Electronic Drive Modules on a Model Y which are very similar (if not identical) to the Model 3 EDMs. Although it makes sense, it didn’t even occur to me that Teslas used oil for this purpose. I searched the Model Y and Model 3 Owners Manuals and there is no mention of a service interval for changing the oil or filter for the gearboxes. Can anyone please elaborate on whether these items need to be serviced?