Is he experiencing any errors or timeouts? In 7.2, it tried to disable the submit button with javascript, which didn't always work properly. In 7.2.2, it uses an md5 on the form to actually prevent it from being submitted again if he happens to double click, or if he gets a timeout on the submit and tries to refresh the browser.
