It doesn't matter what it says. What it says is in-use will never be accurate. DirectX itself is what tells the game this info, and DirectX itself does not accurately report this info (from what I read there's no way it can tell this to begin with).
As for the "total" value, does he have SLI? That counts both cards if memory serves. Also it could just be a DX conflict with a new card, some sort of "hypermemory" where it uses system RAM, or who knows what.
Overall, if you can't trust the 7mb (and you can't), then who's to say you can trust the 1057mb?