the sandman (*) intervals aren’t coming from microtonal tuning… it’s dynamically modulated detuning in equal temperament, just as you say. it’s an extremely common type of modulation, especially if there are synthesizers involved.

* what an incredible show!