Нужно ли варить горькухи после вымачивания...

Вообще то их конечно варят, вот рецепт маринования:
Ингредиенты:
Грибы горькушки – 1 кг.
Лук (луковицы) – 2 шт.
Морковь – 0,5 шт.
Уксус 30% – 55 гр.
Вода – 2 стакана.
Черный перец – 9 горошин.
Гвоздика – 4-5 шт.
Лавровый лист – 1-2 шт.
Сахар – 2 чайные ложки.
Соль – 1 ст. ложка.
Рецепт приготовления:
В первую очередь нам будут нужны шляпки горькушек, желательно, чтобы они были небольшого размера. Варим эти шляпки примерно 20-25 минут, а затем вытаскиваем и даем время, чтобы с грибов стекла вода.
Маринад для горькушек готовим следующим образом. Берем любую подходящую тару, например кастрюлю, подходящую по размерам, заливаем в нее воду, добавляем специи, лук, морковь, а также соль и сахар. Варим до того момента, пока овощи (морковь) не будут готовы.
Как только наступит этот момент, заливаем в кастрюлю уксус, засыпаем туда же шляпки грибов и варим еще минут 10. Этого будет вполне достаточно. Осталось лишь разложить все по банкам и залить нашим маринадом.