will my SeaDoo survive?

[rrr]

This is one of those 'ask the experts'...

Long story short - last week, I let the younger generation use my SeaDoo to go tubing. It's a 2002, GTX 4-stroke. At some point, the tow line was sucked in. In order to remove it, the SeaDoo got rolled. When it was returned to upright, it was filled with water. We got all the water out and left it to dry out. A couple of hours later, it started right up but on a slow putt around was beeping (you know the tone you get when you plug the lanyard in?) but it kept running. Last I looked, there was still some moisture clouding the display. Should I take her in for service or do you think she'll be okay?

thanks in advance for your advice
rrr