So I finally had time to call the dealershiop today. They advised that there is no point in bringing it in, as they will most likely be unable to replicate the incident (since it has not happened a second time) and they will make a note on the file and check it out when I bring it in for service next.