Сколько варить грибы?

Подскажите, пожалуйста, сколько по времени варить мороженные шампиньоны? (для супа). И еще, сделал ошибку, стал варить в холодной воде, а не в кипящей ((( - это очень испортит суп?
Заранее спасибо всем за помощь!