I think to remember there used to be an animation speed selector (turtle -> rabbit). Maybe this could be an option so we could choose the play speed ourselves?