Third option: if you don't wish your windows-partition to be that big anyway, just install the newest service pack, go into disk management and create new partition(s) on the free space that will appear.
Didn't think of that. Though sometimes other partitions are more confusing to less-savvy users.