So Ben and I tore into the WCD-64 to replace those original belts, and found ourselves in the situation of needing a new pump gasket. Luckily I had some gasket material on hand and was able to fab up a new one (tip: use a hole punch for the screw holes) We'll find out Saturday if the seal will hold. However, with the machine on its side overnight we lost around a pint or more of trans oil...so should this be topped off? And if so..what kind and where do we fill?