I have thought about making a claim and I thought about leaving bad feedback but the seller gets the opportunity to ridicule buyers who do that, so basically I see it as being pointless.
I doubt much would come from the Paypal thing as I have already been offered a refund and I am apparently choosing not to accept it by not sending the tool back since I don't want to pay for shipping twice.
I think I am going to take a short break from eBay for a bit, partly because I am broke (as usual!) and partly because it hasn't been as smooth as usual of late. It's not eBay's fault, and there are many honest sellers out there, but unless something really interesting rears it's ugly head, I am going to back off for a while.
Def