So miners can vary the time stamp, the transaction IDs and even the block version number to tweak the output during hashing to gain mining efficiency?
You don't gain any efficiency by changing the data that is hashed. It only means that if you run out nonces, you can change the timestamp and start over again.