On your computers that have a lot of memory,16 GB and above, do you let the OS manage the pagefile, or do you set it at some lower value? Thanks