I`m behind a proxy@home and @work too. There are some "restrictions". The maximum speed for downloading was 6 Kb/sec
and the DVD iso have 3 G.
Maybe if the ftp. wasn`t so stressed, I cound`t download the iso cause I belive the maximum size that a single file cand pass trought the porxy is above 1.7 Giga.
I enjoy`ed to download the images from solaris, they where 5 or more Images from 700 Mb and they autoextract/decompress & merge themselfs resulting a Big .ISO