Hovercraft Terminals and Theory