We have a Dell Compellent Series 40 that is end of life. The hard drive of the controller failed (it somehow arc and fried the drive) and we are getting a new drive. Where can I find the operating system so we can image the new drive? I found the product website (http://downloads.dell.com/published/pages/dell-compellent-storage-series40.html) but can't tell if any of these are what I need.