Is he still rubbing? If so, I would remove anything abrasive in the enclosure (like rocks, bark, etc.) and go with smooth plastic until he heals up. I haven't used Virosan, so I don't know what to tell you about spraying him. We've used betadine and Neosporine before with good success.