How big is the IT department and budget?