I'm sure JohnE will give you a definitive answer. I'd expect your original charger and battery to be fine, but I think 80amp/hr is the minimum you could get away with using. The frightening bit is the price, probably £1200 upwards depending upon make.
Colin