If it was me, I'd just change it (and keep the original file around+diffs/backup of my version so I could compare if any upgrade makes edits and re-apply appropriately). But you could run it some other way, run another cron daemon or put your jobs in a different job that runs when yours is started (and if it might be sometimes running at 6.25am, then do a check to see if its already run).