When you just take a glance and ASSUME it's 80mm, because why would it be 92mm, the 2$ bill of fans? 
I'll just diy a gasket if I think the fan is good enough for the application.