Ich würde das HKS Rot umleiten: Andere Volltonfarbe anlegen und im Druckfarben-Manager als Alias zuweisen.