In a vehicle which has a turbo and an auto start/stop system, how is the turbo shaft kept lubricated when the system shuts off the engine? (since the turbo will keep spinning after the engine is shut off) Is there an electric motor that keeps the oil pump running?