A plumber installed a pump in my basement. One pipe from the pump is going into the main drain. The other hole in the pump has a "quick vent" pipe sticking out of it. Is this right? I know someone that has their vent pipe extending all the way to the existing house vent pipe, which goes to the roof. The toilet doesn't flush properly. PLease advise.