They also make a greenie with an attached green insulated stranded 12ga pigtail that has a spade connector on it. I am not sure how the money works out but they are great for retro work where the EGCs are too short to reach the device. I would think that would be good in those packed fan boxes on AFCIs too where an errant ground hitting the neutral can trip the AFCI.
