I'm not sure if you're shocked at £13 being a lot, or a little!
It was a while ago (about 3 years), but still, that's how much it cost I think (it was certainly no more than £15), I figured a small price to pay to repair a £225 jacket. It had a big hole burnt in the sleeve because it was dumped on top of a light which burnt through to the down. It was about a week after I bought the coat, and I almost cried.