Did Cynthia Gibb ever guest star on any episodes of Happy Days or Joanie loves Chachi?

She's not listed in the credits for any Happy Days or Joanie Loves Chachi episode. She could have appeared as an extra or had a non- speaking part but far as being a guest star, no..

Ok--thanks for taking the time to let me know, it settled an argument. By the way, I love this site!!