Already checked, the few they have left are all mariko or patched.
Thank you guys for the replies. I also found on Ebay a guy who sells his switch for about 360 € and posted pictures of everything, including the initials of the serial number and it's within the safe unpatched range. The thing...