A "prefixed four digit" serial number does not necessarily mean its a EFD number, yes, most likely if it has a letter suffix as BSA also stamped 4 digit numbers.