Well, fortunately looks like it's back to normal. After the slow and careful 4 mi on Monday, did a faster (although still relatively slow - 10 min/mi) 5 mi on Wednesday and then 13.8 mi @10:41 min/mi Fri morning (off work 9/80 day). Kept my stride short to protect the hamstring and it paid off. With the shortened stride, I was somewhat slower than ideal, but all things considered it was good, and I'm back on schedule for the long runs. Finally on Sunday did 4.5 mi @9:05 min/mi; probably would have been faster but the temperature was approaching 80 deg.
I've been icing the hamstring after each workout and taping it during workouts, and it's given me no trouble. I also took two quick walk breaks (about 30 sec each) during the long run to stretch out. I have no history of hamstring injuries, so I suspect the problem last week was due to lack of stretching and proper warmup. I'd probably been paying too much attention to just getting in the miles.
Also did the usual complement of Lifecycle and elliptical this week. Did the leg weights, although neglected the upper body weights during the week; did get to those over the weekend. I like to do weight work (lots of reps with light weights) once a week.