Sorry, i am not the OP, i was just sharing my experience with gearbox judder
I didn't go through the trouble of flushing it, just let it drain for a couple of hours with the car jacked only on the driver side, and after 3 hours it stopped dripping.
Levelled the car, filled it with new fluid, making sure i don't go past the max level, added the syringe and that was it.