Well if it sounds like it's doing what the TSB says, and the dealer can re-create it, then sure might as well have them try to fix it under warranty. But chances are as soon as they see you're using a tremec with aftermarket shift stops, they'll blame it on that.