Windshield Washer Pump

IIRC you don't have to. But it is not to bad to take out and could make it a little easier on you.
Yeah, it's not bad either way. Tie/tape a string to the hoses if you don't want to pull the vent box.