Well the other thing to think about is that back in the day, red was such an easy die to make. Today, it is still about the most populous color as far as dies go, which would make it about the cheapest. Plus.. people have been using red ink for corrections for so long, why change now? Actually, I had teachers that would use other colors, but no color ever stood out like red.