<snip> but at V7R1 you are forced to provide an 80GB virtual drive </snip>
Jim meant to say 7.2. Obvious since he just said V6R1/V7R1 earlier but I
thought I would clarify.
And it's really somewhere between 72 and 80GB but it's worth the safety
stock to just round it up to 80GB and spend the extra $0.35 in disk space.