I've heard of people using blade oil. I saw some norelco lubricant for electric razors at walmart. Is that the same thing?