Oh, yes, I agree with you that with that clarified definition of repossession taking the car back is not exactly theft. But you should at least recompense the hirer for the additional money paid months they were paying for the car, which would presumably be a higher rate than if they were renting the car.