[St. Lou Stu]

OK, I just read what you said about it running good.
I would also assume that it did not slip.
But, since you will have it apart you may want to check the timing marks.
Once the engine has been started, it isn't usually real easy to line all the marks back up due to the differing pulley sizes and rates of rotation.
That said, I would follow the belt replacement procedure and re-time and re-adjust tension.

Ya know? while you got it apart ya may as well.
I'm a piece of mind guy though. I'll do an extra 10 minutes of work for that reassurance.
Especially if I am fixing someone else's mistake.

You got my addy, email me if you need factory manual pages.