Each NIC has a unique MAC address, that MAC never change. So, :12 will always be the same physical card in the machine yes.
Will :12 always be Ether1 in your MT? Yes, unless you change the PCI slot in which the card is inserted.
Linux populates Ether0…EtherX in the order in which it is detected on the motherboard. First the PCI bus is scaned from slot 0 to slot X, then the ISA bus (if you have one).
So if you switch two cards arround in the PCI slots on the motherboard they will also switch in naming in the MT. This means that :12 (now Ether1), will remain :12, but on Ether2 for example