Anyone knows if a US-spec 115V Drill Doctor 750X that was accidentally plugged into 230V can be easily repaired? I see there are suppliers of a so-called 230V "filter" for these machines. There was no smoke, only a brief flash from the switch. I am hoping this "filter" has just blown and could...