If Paul's muscles are painful and tight or massage is part of his therapy then I recommend using a deep tissue massage oil. The one I use is Badger brand and has some of the anti-inflammatory herbs mentioned in this thread like arnica and ginger and it is certified organic. It also has cayenne pepper which has pain relieving properties, especially with nerves. It helps me with muscle soreness from weight-lifting and tension in the neck from being at the computer too much. It also has a very calming scent which relaxes me to the point where I nearly fall asleep every time. Maybe that could help some with the sleeping issues? Here is the Amazon link:
http://www.amazon.com/Badger-Ginger-Deep-Tissue-Massage/dp/B004HPOJNI/ref=pd_sim_194_8?ie=UTF8&dpID=413hKpxCqCL&dpSrc=sims&preST=_AC_UL160_SR160%2C160_&refRID=0SGE9F5D8VXSZK0SNF52
