What you could also do is change the ports on VNC. Like someone said, sounds like they hacked it over the net. If you're that concerned, format there PC's and when you reinstall VNC, i'd suggest instead of using 4700, 4800, and 4500, use other numbers.