The fan that came out of the printer has 2 different part numbers; RK2-1089 Rev 0.01 and 3110RL-05W-B79. It should be a 80 mm fan, 24V and has a alarm out. Does Digi-Key have information on this fan and a replacement?
For a fan that is 80mm² and 24vdc the below link shows the options found.
These would have 3leads and a locked rotor sensor
https://www.digikey.com/short/t8dczbrh