Is 700 a good price for used triple edge heads? I don't know much about those heads so any advice would be great