I wouldn't pay any premium for a Nagy card, but if I were selling it I wouldn't hesitate to mention it. Then the next buyer can decide what it is worth to him.