Replaced with RP Synchromax and a whiteline bushing, and flushed fluid. Absolutely no change. Well, shifting feels the same, but the whiteline sure does rumble! I really don't mind it as I know what is making the noise, and it isn't hearting anything.
Fwiw, I was at the dealer today and the service mgr drove it and said it feels perfect to him. It is def more notchy than it was a few thousand miles ago, but I guess I am just being too anal retentive. We shall see eventually!