Interfacing with TWO k30 CO2 sensors

I've looked at that library, and it should have no problems supporting multiple sensors. Your code in the original post looks correct to me, apart from the pin number clashes. Have you tried it?