What size Allen wrench is needed to get the set screw off of the roof-mount power fan Model ASRHP?

The set screw is a 5/16-24 Allen head, which uses a 5/32 inch Allen tool for roof mount fans.

The set screw is a 5/16-24 Allen head, which uses a 5/32 inch Allen tool for roof mount fans.