If I understand correctly, when you do a write spice deck, it is writing
transistors names to your netlist (.spi) different from what you need
them to be, such that you are editing the transistors names in the .spi
file (instead of in Electric).
I believe you can change the transistor names in Electric so that write
spice deck outputs them with the name that want. I cannot remember
since it has been too long since I did the tutorials, but I think that
might be the Name field in the Node Properties box like seen in Tutorial
2 or it might have been described in one of the other tutorials:
http://cmosedu.com/videos/electric/electric_videos.htm