I think I know the answer to this before I even ask it, but do Thermalright still produce VGA coolers? It seems like all the ones on their website or on sale are for cards which are generations old...?