When I did the delete, I just did a line from one side to the other with a T so I could top it off. Its just a tiny little gear, Id guess its good till the next rebuild.
Ill actually consume some over time probably due to bad seals. I just use gear oil in mine. If you left the tank in then just drive it. Personally Id delete it.
not the lower case, but the rv assy. I'd run some thick oil, since its just to serve a purpose of keeping the brass gear, on the rv assy, wet, along with the metal gear on the crank.