-- Database schema
| film_text : film_id [ INTEGER ] primary_key , title [ TEXT ] , description [ TEXT ] | actor : actor_id [ INTEGER ] primary_key , first_name [ TEXT ] , last_name [ TEXT ] , last_update [ DATETIME ] | address : address_id [ INTEGER ] primary_key , address [ TEXT ] , address2 [ TEXT ] , district [ TEXT ] , city_id [ INTEGER ] , postal_code [ TEXT ] , phone [ TEXT ] , last_update [ DATETIME ] | category : category_id [ INTEGER ] primary_key , name [ TEXT ] , last_update [ DATETIME ] | city : city_id [ INTEGER ] primary_key , city [ TEXT ] , country_id [ INTEGER ] , last_update [ DATETIME ] | country : country_id [ INTEGER ] primary_key , country [ TEXT ] , last_update [ DATETIME ] | customer : customer_id [ INTEGER ] primary_key , store_id [ INTEGER ] , first_name [ TEXT ] , last_name [ TEXT ] , email [ TEXT ] , address_id [ INTEGER ] , active [ INTEGER ] , create_date [ DATETIME ] , last_update [ DATETIME ] | film : film_id [ INTEGER ] primary_key , title [ TEXT ] , description [ TEXT ] , release_year [ TEXT ] , language_id [ INTEGER ] , original_language_id [ INTEGER ] , rental_duration [ INTEGER ] , rental_rate [ REAL ] , length [ INTEGER ] , replacement_cost [ REAL ] , rating [ TEXT ] , special_features [ TEXT ] , last_update [ DATETIME ] | film_actor : actor_id [ INTEGER ] , film_id [ INTEGER ] , last_update [ DATETIME ] | film_category : film_id [ INTEGER ] , category_id [ INTEGER ] , last_update [ DATETIME ] | inventory : inventory_id [ INTEGER ] primary_key , film_id [ INTEGER ] , store_id [ INTEGER ] , last_update [ DATETIME ] | language : language_id [ INTEGER ] primary_key , name [ TEXT ] , last_update [ DATETIME ] | payment : payment_id [ INTEGER ] primary_key , customer_id [ INTEGER ] , staff_id [ INTEGER ] , rental_id [ INTEGER ] , amount [ REAL ] , payment_date [ DATETIME ] , last_update [ DATETIME ] | rental : rental_id [ INTEGER ] primary_key , rental_date [ DATETIME ] , inventory_id [ INTEGER ] , customer_id [ INTEGER ] , return_date [ DATETIME ] , staff_id [ INTEGER ] , last_update [ DATETIME ] | staff : staff_id [ INTEGER ] primary_key , first_name [ TEXT ] , last_name [ TEXT ] , address_id [ INTEGER ] , picture [ BLOB ] , email [ TEXT ] , store_id [ INTEGER ] , active [ INTEGER ] , username [ TEXT ] , password [ TEXT ] , last_update [ DATETIME ] | store : store_id [ INTEGER ] primary_key , manager_staff_id [ INTEGER ] , address_id [ INTEGER ] , last_update [ DATETIME ] |
-- -- Among the films that the customer RUTH MARTINEZ has rented, what is the title of the one with the highest replacement cost?

SELECT T4.title FROM customer AS T1 INNER JOIN rental AS T2 ON T1.customer_id = T2.customer_id INNER JOIN inventory AS T3 ON T2.inventory_id = T3.inventory_id INNER JOIN film AS T4 ON T3.film_id = T4.film_id WHERE T1.first_name = 'RUTH' AND T1.last_name = 'MARTINEZ' ORDER BY T4.replacement_cost DESC LIMIT 1;