Not sure if you sold this, but extending the brake hoses is an easy job. If they haven't been serviced, they probably want as much work as it would take to extend the hoses anyway (given the hardest, but not hard, part is draining, filling, bleeding). Also, I'd have bitten their hand off at £300...