I just want to verify that the upgrade of Pure Message for Exchange 2013 is as simple as running the installer on top of the existing installation of 4.0.2. Is that correct?
Yes this is correct; you can just run the installer over the top of your current installation