Update, did another drain/refill, figure about 5/8 of fluid is freshened with Valv Max Life. Car is a bit better but by no means fixed. Now wondering if a full flush will really fix it, or money should go into another shop trip.
I feel it a wee bit at speed, otherwise either at 1,500 or 2,000...