Well Germany has lots of red lighthouses but I guess they had some paint left over. Quite a bit actually as Ponce is one big lighthouse!!!