What can I do with this coolant? I got it on a govdeals lot, and can't find out much about it other than it's used on air compressors. Was thinking about using as cutting oil for my drill press but I've got like 15 liters of this stuff