4 minutes is pretty fast (but longer than "10 seconds" stated earlier). It's also completely orthogonal to the question raised.