The point is that they are definitely not cheaper than in the US

Is that true still? I don't go searching prices in foreign markets, but something like the RPi being a UK piece of kit seems like it would now be more expensive in the US compared to UK simply based on recent tariffs being applied.

I generally pay 2x-3x the US price.

There are definitely countries with more expensive electronics.