I've currently got a dremel but it gets REALLY hot after an hour or so of constant use so I'm looking to buy an air powered mini die grinder (the pencil type) but not sure which one to get - so, does anyone here use one? They seem to range from £20 up to £100+ but the info on each one is very vague.