The service manual does say that the compressor is on during Floor/Defrost and Defrost modes, and when the A/C button is depressed. However, the owner's manual states that putting the ATC in defrost mode is full manual override, and that the A/C button must be depressed to get cooling (it doesn't say you have to depress it in defrost, but it doesn't say you don't need to either.) I am going to try it tomorrow, and see if the compressor comes on in manual defrost mode.
Dick