I don't really do reps or anything like that. I just stretch it lightly for as long as feels like a decent amount of time, probably around 90 seconds each direction. I don't stretch hard though, I stretch as though I'm stretching a muscle in the morning, just a stretch to sort of ease out the tension.
Comment