Lavras do Sul

== Portuguese == === Proper noun === Lavras do Sul ? a municipality of Rio Grande do Sul, Brazil