On a 1994 Jaguar XJ40 V12 with its self leveling converted to standard shocks, all valve blocks removed etc., should the self leveling pump which is in tandem with the power steering pump and driven by the same serpentine belt be fed HSMO OIL. The self leveling reservoir is empty which it would be as the system is non operating. My question is Could the now defunct pump burn out or seize now that it is not pumping HSMO fluid or is there enough residual fluid in there to keep it happy.