Yep, it is a 4 digit code. The dealer would be able to find the original code if you give him the radios serial number and the chassis number of the car it was originally fitted to.
If the seller doesn't have the code, you may question where he got it from.