Infrared, X-ray structural, 1H NMR, and computational evidence for pi-solvation of H3O+ by benzene molecules is presented. A salt with a discrete [H3O.3benzene]+ cation can be isolated using a very weakly interacting carborane counterion, CHB11Cl11-. pi-Arene solvation of H3O+ explains the solubility of this salt in benzene solution. Similar results are indicated for the "Zundel-type" H5O2+ ion. These findings suggest structures for the active protonating species when strong acids are used as catalysts in arene solvents containing trace water. They are also relevant to structures that may be present in biological proton transport.