I would gladly pay a monthly donation for a real community run server mirroring everything, I often hear issues about slow build servers too. I am pretty sure others would support such an undertaking.