Glad that worked for you. Reds are really hard to hit if you let toe RIP manage it, but overriding it manually can net some great results. The CMYK formula is also critical, it seems like people commonly assume 0/100/100/0 is going to be the best red but it's not very rich and leans to the orange side because of the yellow. Backing the yellow off 10% or more, and adding in cyan and black really really helps it pop.
The same is true of burgundy colors, which can be as hard to print as red, if not harder. Dropping the yellow 15-20% and bringing the cyan and black up into the 15%-ish range produces a great burgundy.
That all said, ideally you shouldn't have to manually make these adjustments, the profile should render the red exactly as you design it, but I've yet to see even the best profile out there generate a perfect red without some operator intervention.