Yeah, something like WinTV USB would be much better than a PCMCIA card which would waste the space - and they don't make them as far as I know cause its hard and expensive to get the tuner that size.
WinTV is very good; but I'm sure other companies make them too. But I would recommend WinTV.