What brand is the motor? I can not find any markings on the motor. Has anyone replaced the plastic cooling fan with an aftermarket fan? I am looking at getting a cast aluminum replacement fan (about $28). I believe the shaft OD on the motor is 0.500". Is that correct?