A simpler derivation seems to me possible from tetlapanqui, miner, or quarryman (literally, stone-breaker), and quetzalli, red; quetzatzin, the lord or master of the miners.