VLC Scripting with Lua: Jump to a specific time in a file?

This seems like it should be simple, but I'm coming up empty handed here. I'm trying to make a simple VLC script that checks if the "random" button is on, and if so when it jumps to a random file, instead of starting at time=0, it starts at a random time.

So far, it's looking to me like it should be a playlist script and I can get the duration from the playlist object, but in this documentation page or on Google, I can't seem to find any way to jump to a specific time from within the Lua script. Does anyone have more experience with controlling VLC playback with Lua?