Is the stock sock in the tank? What model Mallory pump?