Board Thread:Game Discussion/@comment-28401107-20160625170642/@comment-33549282-20181214124857

Then there is

Initially Minis were marketed under the Austin and Morris names, as the Austin Seven and Morris Mini-Minor, until Mini became a marque in its own right in 1969.[3] [21]  The Mini was again marketed under the Austin name in the 1980s.

from https://en.wikipedia.org/wiki/Mini_(marque)

3. Adams, Keith; Ian Nicholls. "Mini development story Pt.2". AROnline. Archived from the original on 3 October 2011.

21.  Michael Sedgwick & Mark Gillies, A-Z of Cars 1945-1970, 1986

Besides the seller's page I mentioned, I see no trace of "Aston Martin" being associated with the Mini brand ... @Waffenträger E 100 what do you know?