>>>I was looking for a driver for HP Deskjet 712c for Windows 7 64-bit and somewhere on HP site read that the driver is already included in Windows 7. If so, do you know where such driver (.inf file) can be found on the computer?
>>>
>>>TIA.
>>
>>Do you know the exact name of the file? I searched by *.inf and I see a lot of such files in various places.
>
>No, I don't know what they would name such a file. By the way, if I remember you mentioned that you have Win 7 64-bit PC. If so, what printer do you use?

Honestly, I have Canon i350 printer, but I never was able to make it work from Windows (didn't spend too much time). So, when I need to print, I print from my other PC (Vista).

I guess I do need to bite the bullet some day and figure this out, but I don't print much anyway.