Cask aka real ale. Hand pump aka beer engine.
Searching the archive here I find no reports.
Google's not finding anything either.
Only reference I find on latimes.com refers to renting for a party.
Jonathan Gold comes through with a 1998 review of John Bull Pub (closed?) and a 2007 review of Ye Olde King’s Head.
Any other sightings?