He isn't on sand, just a green mat, which I have already removed and I've cleaned and disinfected everything g in the tank for now just to be safe. He is my first and only reptile so there are no other reptiles that I need to worry about (thank goodness), What topical ointment do you recommend ?