when editing a contact, one of the bottom options is to set a custom ringtone for him.

the phone is also going to get an update soon, and it should fix quite a lot of issues, so hopefully tha will also improve the rare laggyness.