I have a number of small projects outside which will require the use of a cement mixer-up to now I have hired one -pain in the neck- I am looking to purchase a small capacity mixer- how much should I expect to spend? what is a good model? Should I go for petrol driven or electric? Thanks in advance.