Is there a typo somewhere then? - the serial I'm looking at is a 7000 - the post seems to think anything up to 7004 is fine?
Looking at the spreadsheet the one I saw was also 7000 but indicated patched.
Looking at getting a Switch - found one with serial XAJ70005XXXXXX which according to the first post should be safe however looking at the spreadsheet there is
XAJ7000436XXXXX 4.1.0 (Patched).
Anyone know if the first post is still correct?
This happened to me too - your advice really helped thanks - though to be safe I treated it as a partial fail and restarted the downgrade which worked fine.