Armin Van Buuren utiliza unos
TECHNICS RP-DH1200, algo que pude apreciar en el DVD del
Armin Only 2008 (Imagine) y que después corroboré con una búsqueda por google:

Large Diameter Drivers Yes (50mm)
High Input Power Yes (3500mW)
Swivel Mechanism Yes
Removable Cable Yes
Frequency Response 5Hz - 30kHz
Splash-Proof Design No
Foldable Design Yes
Carrying Pouch No
Dimensions (H x W x D) 10.2" x 11.0" x 22.4"
Weight 4.5 lbs
Para los curiosos como yo, decirles que cuestan alrededor de
100-120€ :

En cuanto a
DJ Tiesto, viendo el DVD del
Elements of Life Copenhagen 2008, me fijé en que usa unos
STANTON DJ PRO 2000... y buscando por internet, vi que costaban "la friolera" de
85€ 
Type: Closed
Frequency: 20Hz - 30kHz
Sensitivity: 107dB @ 0.2mW. 1kHz per channel
Impedance: 64ohm
THD: Less than 1/4% @ 100 dBSPL @ 1kHz
Power: 500mW max.
Net Weight: 250g
Vaya... cuando menos curioso.
PD2: Recordemos que son quizás los 2 DJs mejor pagados del mundo... cuanto importa akí el márketing... ¿verdad?