Hi Willard,
That's the correct place in ajaxWDwx.js .. you currently have var reloadTime = 10000; // reload AJAX conditions every 5 seconds (= 5000 ms)
var maxupdates = 50; // Maxium Number of updates allowed (set to zero for unlimited)
which will have a refresh every 10 seconds, for up-to 50 refreshes.
When you make changes to the ajax script, don't forget to do a shift-reload (hold down the shift key and press the reload button) to make sure the browser fetches an updated copy of the script. Most browsers cache the scripts when the page is first loaded, and don't bother fetching it again from the site until the browser is closed/reopened or a 'hard' reload of the page is done.
Best regards,
Ken