Note that I changed the code to incorporate multi-serverness.
Yes putting 800 will work like that, providing a delay for each line to be messaged of 800 milliseconds.
Btw, you don't need to ignore the nick, you can use flags with /play that prevent the same nick from doing another request until the current request is over, all you need to do is take the time to go through the help file at /help /play
Straight from the help file:
The -q# switch specifies the maximum number of requests that can be queued. If the queue length is already larger than or equal to the specified number then the play request is ignored.
/play -q5 c:\text\info.txt 1000
The -m# switch limits the number of requests that can be queued by a specific user/channel. If the user/channel already has or exceeds the specified number of requests queued then the play request is ignored.
/play -m1 info.txt 1000
The above line limits each user to a maximum of one request at a time and ignores all of their other requests.