I've written a script which saves out an image into different formats using parameters for each format as part of a texture pipeline for a game. I'd like to improve it by checking downstream textures' last-modified dates so that the script will only run when the upstream texture is newer. Is there a way to access a file's last-modified date using ExtendScript for this purpose?