I saw those also but didnt think they would be any better than what he had haha.I did find these from Dell specifically for Linux but they are ancient and it is a questionable choice to use a driver from 2006 or so under a more modern distro.
http://ftp.dell.com/Pages/Drivers/poweredgesc-440-all.html#Video