Though I could have sworn that I tried nulling them out this morning without success, it certainly works now!
Thanks for taking the time to work this issue, I'm sure that you have other things that needed doing instead.
This will be a handy piece of code though - I saw a post in this forum where a start at boot service was crashing because it was attempting file operations before the OS had mounted the SD card. This would have been perfect...