Saw that one. Seen them listed as "Coke" machine but never Pepsi as a general name.
In certain parts of the US, Pepsi is the "generic" name used for all soda. Just as "Coke" is used as a "generic" name in some parts. I am not sure about the Denver area.