Was it more pinky/white-ish than Red?

Just depends on if you want to keep on top of the paintwork yourself, or if the mechanics are good than perhaps it's worth the extra investment of getting it mopped professionally.