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.