There is a 15 amp (single) receptacle on a 125 volt-20 amp dedicated circuit in an apartment.

This receptacle replaced a heavily paint-glopped 20-amp receptacle. (I didn't realize what it was until I picked up the pieces off the floor - by then it was too late to get a 20-amp 125volt device).

It only powers a 110-volt 15-amp air conditioner in the summer and during the winter it occasionally powers some light appliances like lamps, X-mas tree lights and the occasional television set.

Considering all of the above, must I replace this 15-amp receptacle with a 20 amp device? Or is it OK to leave it as is for the time being?