I think you should report the seller. If he leaves eBay, that's fine, but I think a record of him not honoring the deal should be on file.