Thanks @sylumer. The options are pretty much as I thought.
Indeed I did think of using Shortcuts to build in a delay. The other method is a tight loop, so far as I can see.
One other method is to confect a web page because window.setTimeout()
does exist.