That sounds about right, ethyl alcohol is what I would use. It's probably best to separate the gaskets from the tank but it shouldn't hurt nothing if your only doing it once in a while. However, be sure not to stretch the gaskets and to be careful handling them! No worries! Sent from my iPhone using Tapatalk