The required repairs, when under warranty, must be carried out by Magasins Trevi.
If the required repairs are not under warranty, they must be carried out by qualified professionals. You must keep invoices for all work done on the rental spa and be able to provide them upon request.