En kollega av meg på BI har AR-15 med defekte elementer. Er det noen i Oslo-området som kan reparere? Og har det noen hensikt?