Looks like the rare red badge edition is now on eBay classifieds at £10.4k which might be of interest to some here at that price
https://www.ebay.co.uk/itm/115924739788?mkcid=16&mkevt=1&mkrid=711-127632-2357-0&ssspo=Nsr3q7UQRbu&sssrc=4429486&ssuid=m4OUd7oXSHO&var=&widget_ver=artemis&media=COPY