Please read the first post a bit more carefully. It says “possibly parched”.
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?Serials beginning with XAJ7:
Serials between XAJ70000000000 - XAJ70040000000 are safe to buy
Serials between XAJ70040000000 - XAJ70050000000 are possibly patched
Serials above XAJ70050000000 and above definitely patched
Looking at the spreadsheet the one I saw was also 7000 but indicated patched.