How can I set the sound profile to silent for a given contact? As the title says, how can I set the sound profile to silent for a given contact? Or in other words, how can I set that a given contact will have no ringtone assigned to it?

I looked at it and apparently I do have the option to set a custom ringtone for a given contact, but I have to pick one ringtone. I cannot pick "none" as an option. So I was thinking maybe there is an app that can accomplish what I want or there might be a trick I can pull off to get this result?
Instead of having no ringtone assigned to it, get a short silent ringtone (such as the ones found here and use that to set a silent ring.