Back to Lucio’s Pools and Repairs