20 gallons = 160 pints
160/80 = <<160/80=2>>2 pints
3.5 * 2 pints = <<3.5*2=7>>7 pints
Geraldo drank 7 pints of tea.
#### 7