ROBM is right. Please do not try and fix the board yourself BUT the good news is it can very easily be repaired for probably about $100.
Contact a member here beaky
He runs a professional pinball board repair service and this repair will be a doddle for him.
