Default contact for a number
If I understand what you're after, this should do the trick:


Add a P (pause) at the end of the phone number for whichever contact(s) you do not want to be the default.  I imagine a W would also work, but I can only vouch for a P.
Ensure the "default" contact (if that's what you mean) has the normal number.


In your scenario, just change Bravo's number from, say, 1-800-555-1234 to 1-800-555-1234P.

I just tested this approach and both numbers dial.  The first thing I tried was adding an extra digit, but that did not work.