Older version of Warthog

Peter