Yep, those are the ones, but you're leaving one out. The new Toyo R1R. I wish the Yok AD07 was available in smaller sizes but it's not, the RE01R is great in 195/50/15 for the Miata (runs wide) and the Dunlop has been getting great reviews but comes in an unfortunate 195/55/15.
One more that's not on the market yet, but will be soon...
http://www.kumhousa.com/print_specs.jsp?pid=KU36