We've fired it up and it seems to be working fine. It'll need a clean and most likely a service. We'd say the drive belt will need changing as it's a little worn.
eBay