Okay, an update:
I was not able to get the tech to drain out all the gear oil, but he did partially open the bolts on both sides and confirmed there was at little a little oil behind them.
He claims he added 1.5 quarts. When I checked it, I don't think it was quite up to where it should be, but...