Yes, in my opinion, it is likely an end user.
I think domainers/resellers would have tried you directly via your whois contact first, before opting for this service ($69.99 + commission).
Personally, if I really really wanted the domain, and you didn't reply to me, then maybe i would have gone through one of these services (including Sedo).