Just chop the tool in half, unless you're keen to have a complete one.
Personally I'd probably try to use a finger or some cardboard, but you may have higher standards than me!
If you need to find a tradesperson to get your job done, please try our local search below,
or if you are doing it yourself you can find suppliers local to you.
Select the supplier or trade you require, enter your location to begin your search.
Please select a service and enter a location to continue...
Are you a trade or supplier? You can create your listing free at DIYnot Local