Thats a good tip Jano, luckily the hand pump I use is pretty cheap on ebay and tyre pumps seem to go missing from the workshop nearly as quickly as pens