Yeah it seems strange to me too, it's possible the server I was downloading from had incomplete files... it seems like Kennedy.Warhead1, Roberts.Warhead1, and Sotomayor.Warhead1 should be 150 MB... those are the file sizes reported by the server though.