The good news is the man can fix the tile, but he didn’t have the right type of ladder with him. He will be back on Monday to clip the tile in place.
The spare tiles that I had in the shed for just this sort of occasion are not as useful as I thought, as they are all edge tiles. At least he didn’t tell me I needed a new roof!