Vintage Flightmaster

This would have been my guess, too. They seem to go for about that on eBay in that condition (which really isn't too bad, assuming it works) and closer to $3,000 USD (about £2,300) in really good condition. For that price, the buyer could have it restored to pristine condition for about $1,000 (including the case finish) and still consider it a bargain.