Vicks! Camphor is a minty/evergreen smelling product. You can buy it in health food stores for sure. I believe it comes in oil. It has some antibacterial and antinflamatory properties if I am not mistaken.
As for soothing recipe..what about something with rosewater or plain old witch hazel?
Both should be ok for your pet.
