Don't know about that specific model. About the only US dealer of non-US approved Beckers is Southwest Stereo (
www.swstereo.com). BTW, the 788x's are limited to stock on hand as far as I know.
The main issues are that Europe uses a 9Hz frequency spacing on AM and US uses 10Hz so the digital tuner will not tune all AM stations on their exact frequency. I bought a Becker 7882 knowing that but have not been disappointed. Turns out I get good quality (for AM) on stations even if its 1-2Hz off. But I'm in a major metro area (LA) so the signals are strong. The second 'issue' is that there's some sort of free traffic reporting system in Europe that isn't available in the US called TP or traffic programming. All Euro radios have the capability but it won't work here.
Good luck.