Can't you save money by flashing the Pi yourself? I recall I saw a guide for doing that by Avalon and it seems that'd save you a lot over how much Avalon charges. For PSUs you can get a decent server psu that can power it under 100 or rarely 80-50, so it'd be closer to 900 if you're lucky.
Link to their guide, very very easy to do.
Setting up RasPi for Avalons