For an office, the 1140 is better suited than the 1250. Smaller, consuming less power, can be fixed on ceiling, more discrete and integrated antennas.
What Tiago forgot to mention is that the 3500 requires a WLC (controller) to run while the 1140 (or even 1250) can run on IOS standalone without additional purchase.
Hope this helps.
Nicolas
===
Don't forget to rate answers that you find useful