A newbie question.

I did a search but couldn't find the answer. What type of shifters do the formula 1000 cars use? For example, Novak/Van Diemen (RF99)? Are they paddle shifters or sequential shifters? I thought they had sequential shifters but I was browsing through wikipedia and it says there are a lot of manufacturers who make paddle shifters for the F1000 cars so I'm now confused.



Thanks!