Thank you Craig, however, my PayPal mail address is different from the one I use for communication now. It's krausik{at}volny.cz. It should be GBP 12,50 in total (I calculate 1,50 as the "share" for the shipping of the tools from the manufacturer to me). Would that be OK?
Also, send me please your address, I will send the tool to you tomorrow.
Have a nice rest of the evening.
Jan