im not sure in the particular states but in the 90's many states had 87-93 lx notchbacks as their highway patrol cars, if you look into it online youll find plenty about them, but i highly doubt that the cop would'nt have pulled him over
nick
93 5.0 lx notchback black on black 5 speed all stock 14.7@94.33