Some updates. Replaced the belt(god, there is a bunch of sharp shit under this thing...peeled my thumb like an orange getting the old one off.), lubed the pump that hadn't seen grease in 40 years, cleaned a bunch of shmeg out of the drain tube and pump, made a new gasket for the pump cover out...