I’m American and we also call it isopropyl alcohol but another common name for it here is rubbing alcohol (which is essentially a mixture of iso and water)

I’ve never needed anything more than that either. Tried plenty of gimmicky products back when I smoked but it never really made a difference. At best an additional abrasive but you can do that yourself as well if it’s truly necessary.