@aerouta I use a 3510 fan for the print fan and a 2510 fan for the hotend fan. I was able to make a 40mm fan work for the print fan, but the clearance was too close for comfort. I find 35mm works nicely. I also replaced the 5V stock Revo fan with a 25mm 24v fan. 25mm was the smallest size I could find that operated on 24v.
Hotend Fan
PXL_20221220_012917824.jpg
Print Fan
Untitled.png
The models are parametric, so they can be made to fit other fan sizes. I'm happy to share them if anybody is interested.
25mm Hotend Fan STL 35mm Print Fan STL