In fairness dub 12s can look pretty darn different depending on whether they are corks, rodeos or misties.
If someone told me that Laker just landed a dub 12 I'd be like "whatever, I see 15 of those every competition". But if someone told me that Laker just landed a dub rodeo 12 I'd be super stoked and want to see it right away, as in this case. The same goes for "regular" doubles that are thrown in a whacky manner. I'd specify that Gus did a cork 3 to cork 7, because if someone just talks about a dub 10 I assume it's a cork 7 to cork 3, or a cork 5 to switch cork 5. God, that's a lot of trick names. Are you still following me? :D
After this trick has been thrown a few times nobody will talk about it is a "flat 3 to bio 9" anymore, it'll just be a "dub flat/rodeo 12". The same happened to Jon Olsson's DJ flip, which in his own words was a "cork 630 to flat 450/630". Now he just talks about dub cork 10s and 12s.
I don't think it's silly to want to dissect a new/unusual trick. After all, it's how different skiers do their tricks in different ways that gives our sport it's flavor! :)