On 26/09/2019 14:59, GB wrote:


I've ordered one of these:
https://www.amazon.co.uk/dp/B00VSZ1F...740111_TE_item

For under £2 it's worth a go. As long as it does this one hole, that's
good enough.


That seems too good to be true to me. I've tried a few cheap diamond
tools (e.g. Dremel sized cutting disks) and usually been disappointed.