Unisci zucchero di canna, salsa di soia, salsa Worcestershire, sale, aglio in polvere, pepe nero, pimento, cannella e aroma liquido in una ciotola. Aggiungi la coda di bue e mescola fino a ricoprire bene.

Accendi l'Instant Pot e seleziona la funzione Sauté. Quando è caldo, aggiungi l'olio e metti le code di bue, con il lato piatto verso il basso, all'interno. Fai dorare su tutti i lati, per circa 5 minuti. Trasferisci in una ciotola e metti da parte.

Versa 2 cucchiai di brodo di manzo nella pentola per deglassare, raschiando tutti i pezzetti dorati. Aggiungi carote, cipolle, porri, aglio e peperoncino Scotch bonnet. Fai saltare fino a quando le cipolle si sono ammorbidite, circa 5 minuti. Rimetti le code di bue nella pentola con il brodo di manzo rimanente, il ketchup e il timo. Annulla la funzione Sauté.

Chiudi e blocca il coperchio dell'Instant Pot. Seleziona alta pressione. Cuoci per 45 minuti, consentendo 10-15 minuti per la costruzione della pressione.

Rilascia la pressione naturalmente per 20-40 minuti, sblocca e rimuovi il coperchio.