My dealer said it was fine…I was skeptical, but I have the piece of paper that shows I took it in and said “look for this specific problem” and they said it checked out OK.
Still driving the car, made sure to get the oil changed as soon as it even got close to time for it, and have been keeping an eye on the oil. It did burn a little by oil change time, but not much, and so far nothing else has happened, though I’m always kinda paranoid that something will. Hopefully not!