Pumky is decent 5 letter domain which as you said might be used as brand. I do suggest to submit it to BrandBucket or Namerefic since I think it might be difficult to find end user though direct outreach. In case you get listed there is a chance to earn x.xxx on it in few years. Otherwise low xx to high xx for reseller. Good luck.