Fix #525. #517. You can now tweak the animation time ingame using G.UI.queueAnimSpeed.