I saw on one of my Mike Holt videos that is allowed by the NEC to use 15 amp recptacles on a 20 amp circuit when you have multiple recptacles on the same circuit. Or a combination of lighting and recptacles. The video also said if you have a dedicated 20 amp circuit, the receptacle must be rated for 20amps. Does the same hold true for gfci recptacles?