No, not stretch at all. If it's up to company to choose how their car (that they rented to someone) needs to be repaired - it should either be done by their expenses to be fair. Otherwise they will always just choose the most expensive way (like 10x, 100x, unlimited x) and that won't be fair at all. A car is just an utility, that's not a unique piece of art, such matters should be regulated, a price of $16k for a repair that can be done 10 fold cheaper is just not fair.