currently I have placed
'rmmod saa7134 ; modprobe saa7134 card=3 tuner=5'
in '/etc/rc.local' since saa7134 doesn't get autoloaded with correct options. This is a bad hack to get it working.
Is it possible to write a udev rule for saa7134 so that everytime it is loaded, it is loaded with options card=3 tuner=5 or is that not possible?
/etc/modprobe.conf handles this kind of thing. Check the man page - you need something like this:
options saa7134 card=3 tuner=5