I didn’t have strong feelings about it, and had extensive experience with LineageOS. I just stuck with what I knew.

I bought the 4 from Mureno with e/os/ on it.

This is true. Hopefully they will soon sell the 5! I tossed lineageOS on mine, and have felt pleased with it.

They sell an official version with US antennas through Murena!

More than one ear? :D

Also consider looking into Gadgetbridge and the list of devices it supports!

While I know it’s not convenient, have you considered… telling them?