L'inventario di Texas Red è attualmente privato.