Against my better judgement, I put in 16oz of trans-x.. I drove it for about 10 miles with no noticable difference.. we will see if some more miles does anything.

Strange thing.. before the dealer serviced the trans, I was able to stick clear tubing down the fill tube and draw up fluid.. I tried that today so I could remove as much fluid as trans-x I was going to put in.. nothing would draw up. I have a feeling they underfilled it.. So I just put in 16oz (1/2 qt) without draining anything.