Graphical regular representations of free products of groups

If X is a Cayley graph of a group G possessing a normal subgroup N, then there is a quotient graph of X which is a Cayley graph of $\text{G}\text{N}$. With the aid of this result, it is shown that the free product of at least two and at most countably many groups, each of which is at most countably generated, admits a graphical regular representation.