My guess is Jarod meant ? to mean a number. You could use *:
Also, instead of using lspci I'd use lsmod to check if the ivtv drivers are loaded. But, I don't want to detract from the guide that a lot of people have had some good success with, and this may be covered later, so feel free to continue on once you find the /dev/videoX you are looking for. (FYI I didn't use Jarod's guide, but I did use FC4 for one of my Myth machines).