1pm or 2pm Machu Picchu ticket
 

Not sure if there is even any difference, but what ticket time would you purchase? 1pm or 2pm in July?

Unless you have an afternoon train back to Ollantaytambo, then it doesn’t make much difference. If you do, then go for the 13.00 slot.

I agree -- it would depend on your plans after. Not much difference between the two slots unless you need to be someplace time-certain after coming down the mountain..