Castillo del Lago listed at $14.95 million