I have not (but have used similar tools which do this)