Hey folks, with the cold weather coming soon, would there be a downside to adding some normal automotive antifreeze to the water bucket i use for cooling and rinsing at my belt grinder? With an unheated shop, it gets tiresome having to fill and empty it every time I use it...