Yup, the battery fits (very promptly delivered from The Battery Group), and it starts, first time for years! Hmm, not on the key, but on the starter handle. What a useful feature this is. Earth strap corroded a bit at contacts, inhibiting starting. New one on the way. Was a bit worried in case...