Certo che l'origine del cavallino di Baracca è tedesca!
Ma la Porsche non c'entra nulla, è sempre un'eredità* di Piemonte Reale.
Il cavallino presente nello stemma araldico del reggimento (è ripreso da Baracca quale sua insegna personale), così come quello presente nello stemma di Savoia Cavalleria, altro non è che un "cavallino di Westfalia" a ricordare la provenienza delle genti d'arme che diedero origine ai due reggimenti.

Sul colore, la ricerca pubblicata su Storia Militare è interessante ma alla fin fine penso (in sintonia con il Gen. Duma autore di una monumetale opera storica sul 4° Stormo) che il cavallino fosse nero tale essendo l'emblema adottato dal 4° Stormo poco dopo la sua costituzione nel 1931. Duma cita il cavallino rosso riprodotto nel quadro di Bartoli e nelle cartoline di Laredo di Mendoza ma ritiene improbabile che il neonato stormo abbia lasciato la tradizione per scegliere un nuovo colore.
Più probabile un errore dei due artisti anche tenendo conto che la 91^ Squadriglia di Baracca aveva come insegna il grifo nero su campo rosso, poi diventato nero su campo bianco ed infine rosso (qual'è ancora oggi nello stemma araldico dell'Aeronautica Militare).
La coesistenza nella stessa squadriglia dei due emblemi (grifo e cavallino) anche dopo la morte di Baracca può aver generato errate interpretazioni da persone digiune della materia e della vita del reparto.
In definitiva essendo i due esempi citati gli unici dove si parla di cavallino rosso mentre decenni di storia aeronautica parlano di cavallino nero (e del suo negativo per il 9° Gruppo del 4° Stormo), credo non ci siano dubbi sul vero colore.