Suffice it to say, I have a bit of a diagnostic challenge on my hands.
Their story is that they rooted and installed a custom ROM on their phone, and has apparently spent the last week or so fighting with their device to return to stock. I've been told that the ROM is stock, and the recovery is also stock. They apparently want to return to stock and take the KitKat OTA, and have nothing to do with rooting. Though, House says, "everybody lies". I'm assuming there's something else I should be looking at to check whether or not they're deliberately omitting a step they took, or perhaps something they didn't realize/forgot they did.
I have yet to get the device in my hands, but when I do, what should I be looking for, exactly? I haven't modified many Samsung phones in the past, mostly just HTC devices, so I'm not sure what I'm looking for. Poking around the forum, I see some mentions of a Flash Counter and ODIN and some other utilities, but I'm not sure what I should really be using to try to fix the phone. I'd also like to maintain the ability to root their ROM in the future if possible, just in case the owner goes back on their root-bashing.
Thanks for reading! If you guys ever need a hand with an HTC device, I'd be more than glad to give you a hand there.