Check to see if they have a TM.
If they don't offer it to them for $1000 and hopefully they might buy for around $500
Thats just one opinion though - its a pretty good domain is its own right, although devalued somewhat because anyone using it would lose so much business to WebPro.com