The hunt is over:
https://ukulelestorehawaii.com/index.php/product/koaloha-red-label-concert/
I would also consider contacting KoAloha directly as their recent red labels for their 25th anny cost less than this one.
I probably should've qualified further that I'd like to find one in Europe but thanks anyway.
And yeah, I think I've seen the regular red labels sold around $2500, and even that is a lot more money than what I paid for my current most expensive uke. But maybe one day I'll be desperate enough to pay whatever for one of those.