i think scottish mountain mean its a write off, ie cost more than they quoted to repair, like a car. If its not economical its not economical.
If it where mine id do a self repair and use it for as long as possible and see what you like and what you don't like about it, then you'll know what sort of tent features you want.
If you can spend enough cash on it yourself, alter it and have it taylored to what you want, and then have them repair it.
Ideas; lengthen it shorten it, narrow the inner widen the inner , sew in a doorway ground sheet (one thing all tents are missing in my opinion, because when it rains i always end up with a muddy puddle) , or even make it higher if you can with extra poles, increase the ventilation, lighten the weight if possible.
If a jobs worth doing its worth doing well .