I think he just wants to use HP's trade-in program, but dv6875se isn't an option, so I had to choose the generic "any" option, so he's only getting $51 for it if we go that route. I'll have to ask him what kind of work he's had people do on it to figure out this Dell thing because I think that could potentially be a problem if we try to do anything through HP.