There’s a Mini in our workshop! The drive home was uneventful, though Brian did discover that the brakes pull to the side a tiny bit.
We also purchased the seller’s entire hoard of Mini parts, including a few somewhat rare bits, and some things that probably don’t come from a Mini.