Yer that's what I was thinking. The service tag would only list the 32 bit drivers, wouldn't it? not that the service tag is working on dells site, guess it hasn't been added yet.
Was just trying to find out if there is anything I should keep before doing a reinstall, but doesn't look like it.