If Dr. Bob has his phone number, try calling. Not sure if that would be appropriate but if the guy wants to sell it then maybe it won’t be a big deal.