That was on my short list, but I liked the look of the Seiko SBTM339 more (though it's a JDP model so I had to import it). Citizen has a model in that range as well. Then the Seiko Astron line has both radio time and GPS models if you're willing to pay 5x as much (they do look so much nicer, though).

And I can confirm the radio time app works. (For those curious, it plays the time signal over the speaker and the faint EM from the speaker is more powerful locally than the original radio signal at distance, as well as landing on the correct frequencies.)