Hi Brian,
I am an academic dean, and I have found that students are quick to blame instructors. You followed proper procedure. Your observation was that the instructor handled herself very professionally, but it was the student who was rude and disrepsectful. It sounds like personnel handled the student, and the students knows exactly what behavior she is to display. I hope that the meeting with the student was documented. It is always good to keep an audit trail on disruptive student.
Patricia