I use a Tescos (supermarket here in the UK) own brand £3 LED torch. I had a lenser and left it in the flight deck and it disappeared. So I'll never use an expensive torch at work again. This Tescos one is actually very good value for money. If you need red-light you can colour the lens with an OHP pen or whiteboard pen.