Did they flush it or just do a pan drop? If it was flushed that's not to good on it but i can't see it being a problem 25K miles later. Check your fluid it could be a little bit low.