I’d be tempted to take the switch off and drill rivets out and clean the contacts. £800 seems very steep. After cleaning switch give it a good oil and filter change. There usaly good boxes, been around long enough and compared to modern auto there’s not much too them.