I don't know AbacusMan.
I am no physical therapist so you may know more than I do. But generally speaking, from what I have read, there is a difference between tendon damage and soft tissue damage. If it was indeed muscle or tissue damage I would whole heartily agree with your advice. Stimulating the muscle tissue is key to the healing process.
Tendons however, they are connective tissues designed to hold and stabilize muscles to joints. They do not expand and contract the way muscle fibers do and are actually relatively rigid compared to muscle tissue. In fact, applying heat to a tendon injury will expand the surrounding muscle tissue, creating pressure and pain against the adjacent tendons. For tendons.. it's ice ice ice.. direct pressure therapy.. and more ice. For muscles, it's heat, ice, heat, ice, deep tissue masage, heat, ice, etc.
Speaking of which, the OP should probably go to a sports doctor or physical therapist to determine the actual nature of the injury. I'm used to my arm so i can feel the difference, but a sports oriented doctor would be best (your primary care physician will tell you to just stop playing pinball, fuck that guy).