CASIO US GW6900 and DW9052

Hello, living in France and want to got this 2 watches.
There are available in US but is it NOS or they're still in production ?

Amazon got a nice deal for the GW6900 but bad review cause there got old stock and got battery problem.

Thanks