01 was the last year for manuals for the Explorer. The Explorer Sport (a completely different model) on the other hand, was apparently still available with manual, probably till it was discontinued (05?). Was this 03 you saw a 2 door or 4 door model? If it was 2 door, it's an Explorer Sport.