I would for sure add extra time, but if there's a way to turn it on or off in the settings for the player it would be preferable.
