I wanted to ask about this issue as well; but, never got around to it.

I am wondering if, in the future, there could be a setting in the banner plugin to control the banner duration.