opinion on price of new rolex ref 114200 men watch just purchase in amsterdam

[VFET747]

hi everyone! just returned from vacation to amsterdam and while at schipol airport a beautiful rolex stainless steel men watch was staring me in face with metalic green dial at GASSAN Jeweller store there in the airport , it was the cheapest rolex they had at 3888 euros and they said the price was much highher than that if brought elesewhere in the city as this price was duty free and this particular rolex is a ref114200 which i found out is also called air king , the nice girl said that this color that I liked she had only this watch and it sligtly smaller in the dia then the 34 mm standard which she said can be had but price is more at 4200 euro and they dont have it in the color I like, so on impulse I brought it,did they gave a good price and a total novice considering new rolex prices, if any experienced person can shed more light if I got a good deal or not will be much appreciated! thanks! best regards! Ali