Hi pentaxians
I'm debating in my head as numerous Pentax users before me - which UWA lens to buy?
Main usage - landscapes, night shots of aurora and stars (+astrotracker), daytime long exposure with filters - is there one lens to rule them all?

Camera - K-1 Mk2
I have already decided to buy Samyang 24mm 1.4 lens, but what if I want to go wider?
First I had on my plate D-FA 15-30mm f/2.8 but it's kind of pricy (1500€) compared to other choices. Only recommended filter kit was NISI, which is expensive too. Then by comparing Samyang 14mm and Irix 15mm reviews I decided to go for Irix Firefly. Also Irix filters are affordable.
Got an offer 300€ for used Irix, however after viewing sample images made with these particular lens, I'm not so sure anymore. In the center it is really sharp, but in the corners not only soft but images look like stretched and distorted.
Moneywise it would be a good deal - to get Samyang 24mm and Irix 15mm for 600€ (compared to 15-30mm 1500€), but when I was going to make the purchase, I suddenly had such a disturbing hesitation about Irix that I decided to put it on hold.
I contacted one pentaxian aurora hunter for advice. What he told me was somewhat surprising - not at all what I had read previously in lens reviews.
Pentax 15-30mm -> good for pretty much everything besides starry sky shots. Problem - trailing stars in the corners
Irix 15mm -> again corners problem - trailing stars and soft corner sharpness
He recommended Laowa 12mm f/2.8 Zero-D. Never heard about that lens before

Since I couldn't make up my mind about it by reading reviews (actually not so many out there compared to other lens) I decided to make this post and ask around some opinions. It is ofourse much more expensive than Irix Firefly and I couldn't find any used copies for sale. In fact, it's very hard to find used Pentax gear in EU countries, which means adding to price of the lens and shipping fee an extra ~27% just for taxes when ordering outside EU. Probably filters are not cheap either. This lens + Samyang 24mm together reach close to Pentax 15-30mm price already

what to do...what to do?
Please tell me your opinions - especially - is it much better than Irix for astro/night shots? As I understand I can't really use K-1 built in astrotracker with such wide lens without having stars trailing in the corners? I belive general truth about astrotracker was that anything wider than 24mm will make stars trail in the corners?
Greetz!
Allan