I don't want to bash microsoft or anything. But 2.5 daily visitors and 1.5k new tickets daily can probably be served by nginx, a raspberry pi and a potato.
But yeah - people seem to gravely underestimate the power of the current hardware and how much of it is wasted currently.