In fact, most (maybe all?) video editors are not color managed at all. And, video files do not contain embedded profiles.
That would explain why I was seeing the un-embedded sRGB files overly red, since I had lost the setting to show both embedded and un-embedded files the same way. Since I'm working on this particular [s]weird[/s] monitor, I think I'll do some experiments to see if it works better to convert to my working space, edit, then convert to sRGB to see what happens.
The book has arrived. So far, so good. Thanks again for the recommendation.