Historia: Desconozco el origen del nombre OCO. En Avila hay otro pueblo que se llama Oco. Sería repoblado por los de Oco de Navarra?