No, thankfully. Only one of the watches was purchased in the US.
I did try to get the Junghans watch fixed, and that did not end particularly well (it did get fixed, but I didn't make any friends). I brought it in the US, but there are a lot of places that sell them, but don't fix them.
I have a OCW-10DA-7A (Wife's watch)[0], OCW-S100-7AJF[2], and a OCW-T410TD-3A[2]. The last two, I got in Tokyo.
G-Shocks are a big deal over there. They have G-Shocks that are a lot more expensive than these were.
There's definitely a dearth of English-language info on Casio's premium offerings, especially the older Oceanus stuff. I gather you must have purchased your wife's watch during the brief period they tried to make a go of the Oceanus sub-brand in the US?
There's all sorts of bizarre sub-variations, too. I saw a similar women's Oceanus on eBay last fall, with English-language Discovery Channel Shark Week branding, and the seller in New York was dumping it for cheap because they couldn't get the radio sync to work. Turns out it was a model that was only set up to sync with the UK and German time signals. Older Casio models also only say Multi-Band 5 as well, because, I guess, the Chinese atomic-clock broadcast hadn't been set up yet.
I did try to get the Junghans watch fixed, and that did not end particularly well (it did get fixed, but I didn't make any friends). I brought it in the US, but there are a lot of places that sell them, but don't fix them.
I have a OCW-10DA-7A (Wife's watch)[0], OCW-S100-7AJF[2], and a OCW-T410TD-3A[2]. The last two, I got in Tokyo.
G-Shocks are a big deal over there. They have G-Shocks that are a lot more expensive than these were.
[0] http://oceanus-watch.blogspot.com/2009/03/oceanus-watch-ocw1...
[1] https://lv.bramo.jp/products/detail.php?product_id=885793
[2] https://www.javys.biz/casio/new_web/watch/new_watch.php?id=O...