I need to save and restore the stencil size on a VGX machine. I can't find anyway to get the current size and push/pop-attributes doesn't deal with the stencil size according to the documentation. Does anyone know if there's a way to get the current stencil size? Also, what is the mail address of sgi support? Thanx in advance.