vari-lite 2500

Okay...I know these are ancient fixtures but it is what I have and still need to be able to use in our small community theatre. They are installed and not accessible without a ladder. General question: I know that you are supposed to douse the lamp 10 minutes or so before you shut them down...