That sounds really reasonable. Basically a bench charge plus a part, and according to the article that price also includes the shipping. Pretty much in line with what I’d expect at an independent repair depot.