I never have, and it looks like nobody else has either.
If it helps, you might want to check out his/her complete feedback at toolhaus
http://www.toolhaus.org
Just put his name in, and click the button for feedback received and you can see every single neutral and negative that the seller has ever gotten. I find that to be a VERY handy thing, until ebay’s own system where you have to wade through tons and tons of identical “A++” to find where the problems are, and then can only see the last three months.