95 Honda Civic EX 5th Gear Problem

I just bought a 95 honda civic in pretty good condition. The clutch needed to be replaced so I had that done. However one small thing happened that could have been very expensive. The mechanics somehow, forgot to refill the transmission fluid back to normal, so on my way home from work it completely popped out of 5th gear and grinded a bit. After a few days of searching online, I learned it was the transmission and not the clutch. So checking the fluid level I found there wasnt any. Lovely. After refilling with about 2 quarts of manual transmission oil bought from the honda repair center, I can now drive using my 5th gear, Yay!

Note to self: inspect all repairs done after taking to any mechanic.