I have been using WFT trimmer for all my rifle brass. I bought a s set of Redding 204 dies and a Redding trim die. I have never used a trim die. It looks like you just set the die in the press to the height that you want the brass to be and use a file to trim off anything sitcking out of the die. Is that correct? If so, that does not screw-up the top side of the die?