It's your choice as always, but I wouldn't bother replacing the vent line (3/16" or whatever it is). Just snip it off leaving a few inches on the filter base and a few on the return line tee. Then find a welding rod butt, machine screw, nail, or anything to fill the hose stubs and plug them...