Seriously, you're griping about 1/10th of a second -- maybe an average of 3/10ths of a second per turn over the course of an entire game? With a Destroyer deck that wins in 6 turns, that's a whopping 1.8 extra seconds! If you're put off by 1.8 seconds per game, you're just this much too obsessive about maximizing your electrum/hour rate, my friend.