Да вот тоже начитался, что в глицерин, что в пропиленгликоль разбавляют спиртом примерно 10к1.
Хотя мой вопрос потерял актуальность, я сам пока ехал с работы рассуждал: пропиленгликоль хорош тем, что полностью испаряется с ОК и не требует последующих вмешательств в чистку. Глицерин же оставляет...