I tried to follow the directions here to have the batch file wait before executing the rest of the commands but I receive "'CHOICE' is not recognized as an internal or external command, operable ...

To add a timer to your videos, you require a video editor that contains a timer feature. For example, you can use the Microsoft Clipchamp app on Windows 11 to put a timer in your video.