Sorry no, but it could be the clutch packs that are gone. Looking at about £2.5k to fix if that is the issue. I’d take it to a specialist gearbox place (not audi), and get them to diagnose the issue (should only be £100 ish to do so). Take it to audi and they’ll tell you it needs a new box…
Or maybe take it back to where it got repaired and ask them to check they put enough oil in it as a first step