While in the Navy, I had some badass customized laptops from Toshiba that were nearly $3000. Granted, $9000 is triple what I paid (I was an E-5 after all), but I can totally see a market for it.

Gaming laptops are stupid and nobody should buy them.