Googled "radio controlled clock" and seeing results from $20-$200, lots of inconsistency in what the product is.
These are usually marketed as "atomic time" or "atomic clock" here in the US.
alt Hacker News
These are usually marketed as "atomic time" or "atomic clock" here in the US.